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-1.1.0.tbz
sha256=5da0c0fa17e6071ee0c66f4455c373d6dd326a62e43a25e3baf68957db62907d
sha512=5d7334094dcefc02ffde9de7b6a1559ae8edb828f132c96265f37f8c0fe80859f05a632c82acbaa8a6a641e06e4645a1bccbcd68d32a17686c68d5267f031357

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.