package mirage-block-ccm

  1. Overview
  2. Docs
AES-CCM encrypted Mirage Mirage_types.BLOCK storage

Install

Dune Dependency

Authors

Maintainers

Sources

mirage-block-ccm-2.0.0.tbz
sha256=03140f2fef731b3d4497c4827cd0c027e4404e1cd8a115e5aa6f19a049e88ffc
sha512=533994a8cc1ebee628403781e7a5eb00ea76ec51891507736d4090325b65fd57e91d5524da3e44bd948c73e38d768cb0f8e224273f6af47bfbdae7f309157e89

Description

AES-CCM encrypted Mirage Mirage_types.BLOCK storage

uses two sectors of the underlying Mirage_types.BLOCK per provided sector:

+-----------------------------------+
| CT                | nonce | adata |
+-----------------+-----------------+
| sector n        | sector n+1      |
+-----------------+-----------------+
  • CT is sector_size + maclen bytes AES-CCM ciphertext
  • nonce is nonce_len bytes random nonce
  • adata is sector_size - nonce_len - maclen random additional authenticated data

Published: 17 Feb 2023

README

mirage-block-ccm

AES-CCM encrypted Mirage Mirage_block.S storage

uses two sectors of the underlying Mirage_bloc.S per provided sector:

+-----------------------------------+
| CT                | nonce | adata |
+-----------------+-----------------+
| sector n        | sector n+1      |
+-----------------+-----------------+
  • CT is sector_size + maclen bytes AES-CCM ciphertext

  • nonce is nonce_len bytes random nonce

  • adata is sector_size - nonce_len - maclen random additional authenticated data

Notes on bisect and ounit tests

$ dune runtest --instrument-with bisect_ppx --force
$ bisect-ppx-report html
$ open _coverage/index.html

convert AES-CCM encrypted disk images from/to unencrypted images

$ dune exec -- ccmblock --help

Dependencies (10)

  1. mirage-block-unix
  2. astring
  3. cmdliner >= "1.1.0"
  4. mirage-crypto-rng >= "0.11.0" & < "1.0.0"
  5. mirage-crypto >= "0.11.0" & < "1.0.0"
  6. mirage-block >= "2.0.0"
  7. lwt >= "2.4.3"
  8. cstruct >= "6.0.0"
  9. dune >= "2.7.0"
  10. ocaml >= "4.08.0"

Dev Dependencies (2)

  1. bisect_ppx dev
  2. ounit2 with-test

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.