mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
78 best points · 2 comments · 2 Hacker News posts · 851 GitHub stars · View on GitHub
Hacker News discussions
- Synthesizing Correct-by-Construction Code for Cryptographic Primitives (78 points, 2 comments, by johlo, 2021-01-03)
- fiat-crypto: Cryptographic Primitive Code Generation by Fiat (1 points, 0 comments, by rdpintqogeogsaa, 2022-06-17)