AES-CCM encrypted Mirage Mirage_types.BLOCK storage
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
Install
Documentation github.com Changelog ISC License Edit opam file
Last Published
26 Oct 2022
Authors
Maintainers
Sources
mirage-block-ccm-1.1.0.tbz
sha256=5da0c0fa17e6071ee0c66f4455c373d6dd326a62e43a25e3baf68957db62907d sha512=5d7334094dcefc02ffde9de7b6a1559ae8edb828f132c96265f37f8c0fe80859f05a632c82acbaa8a6a641e06e4645a1bccbcd68d32a17686c68d5267f031357
Dependencies
mirage-block-unix
astring
cmdliner >= "1.1.0"
bisect_ppx dev
ounit2 with-test
mirage-crypto-rng
mirage-crypto >= "0.8.1"
mirage-block >= "2.0.0"
lwt >= "2.4.3"
cstruct >= "6.0.0"
dune >= "2.7.0"
ocaml >= "4.08.0"
Reverse Dependencies