What is High Assurance Cryptography?
Section
27 pages
Posts
An Executable HPKE Specification
TL;DR - Hybrid Public Key Encryption
Cryspen ERC PoC Grant
(HACL*) AEAD Benchmarks
