What is High Assurance Cryptography?

An Executable HPKE Specification

A hacspec implementation of the HPKE RFC.

TL;DR - Hybrid Public Key Encryption

A new standardized way to do hybrid public key encryption.

Cryspen ERC PoC Grant

(HACL*) AEAD Benchmarks