Mathematician working on topics around
cryptography, security and formal verification. Principal Applied Scientist at Amazon.
- Cambridge, UK
Pinned Loading
-
pq-code-package/mlkem-native
pq-code-package/mlkem-native PublicSecure, fast, and portable C90 implementation of ML-KEM / FIPS 203
-
slothy-optimizer/slothy
slothy-optimizer/slothy PublicAssembly super-optimization via constraint solving
-
pq-code-package/mldsa-native
pq-code-package/mldsa-native PublicWork-in-progress C90 implementation of ML-DSA / FIPS 204
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.