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

README.md.html

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
OCaml

Innovation. Community. Security.