My academic work, including talks, publications, conferences, and open-source contributions.
hpke-ng Open-Source Contributions
Overview hpke-ng is a Rust implementation of Hybrid Public Key Encryption, the cryptographic scheme standardized in RFC 9180 that composes a Key Encapsulation …
Mathlib4 Open-Source Contributions
Overview Mathlib4 is the community-driven mathematical library for the Lean4 theorem prover, with over a million lines of formalized mathematics spanning …