Mathematician working on topics around
cryptography, security and formal verification.
- Cambridge, UK
Pinned Loading
-
pq-code-package/mlkem-native
pq-code-package/mlkem-native PublicHigh-assurance, high-performance C90 implementation of ML-KEM
-
slothy-optimizer/slothy
slothy-optimizer/slothy PublicAssembly super-optimization via constraint solving
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.