···
2
+
homepage: "https://github.com/sg2342/mirage-block-ccm"
3
+
dev-repo: "git+https://github.com/sg2342/mirage-block-ccm.git"
4
+
bug-reports: "https://github.com/sg2342/mirage-block-ccm/issues"
5
+
maintainer: ["Stefan Grundmann <sg2342@googlemail.com>"]
7
+
synopsis: "AES-CCM encrypted Mirage Mirage_types.BLOCK storage"
9
+
AES-CCM encrypted Mirage Mirage_types.BLOCK storage
11
+
uses two sectors of the underlying Mirage_types.BLOCK per provided sector:
14
+
+-----------------------------------+
15
+
| CT | nonce | adata |
16
+
+-----------------+-----------------+
17
+
| sector n | sector n+1 |
18
+
+-----------------+-----------------+
21
+
- `CT` is `sector_size + maclen` bytes AES-CCM ciphertext
22
+
- `nonce` is `nonce_len` bytes random nonce
23
+
- `adata` is `sector_size - nonce_len - maclen` random additional authenticated data
27
+
["dune" "subst"] {dev}
28
+
["dune" "build" "-p" name "-j" jobs]
29
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
33
+
"ocaml" {>= "4.08.0"}
35
+
"cstruct" {>= "6.0.0"}
37
+
"mirage-block" {>= "2.0.0"}
38
+
"mirage-crypto" {>= "0.11.0"}
39
+
"mirage-crypto-rng" {>= "0.11.0"}
40
+
"ounit2" {with-test}
42
+
"cmdliner" {>= "1.1.0"}
47
+
"Any block device created with an earlier (< 0.2.0) version and the default
48
+
maclen (8) can no longer be decrypted. The maclen is now 16."
50
+
authors: "Stefan Grundmann <sg2342@googlemail.com>"
53
+
"https://github.com/sg2342/mirage-block-ccm/releases/download/v2.0.0/mirage-block-ccm-2.0.0.tbz"
55
+
"sha256=03140f2fef731b3d4497c4827cd0c027e4404e1cd8a115e5aa6f19a049e88ffc"
56
+
"sha512=533994a8cc1ebee628403781e7a5eb00ea76ec51891507736d4090325b65fd57e91d5524da3e44bd948c73e38d768cb0f8e224273f6af47bfbdae7f309157e89"
59
+
x-commit-hash: "602606520ab750694660ef0bdd1f3083d7a1d6a6"