fiat-crypto

Cryptographic Primitive Code Generation by Fiat

GitHub
707 stars
53 watching
147 forks
Language: Coq
last commit: 12 days ago
Linked from 1 awesome list


Screenshot of mit-plv/fiat-crypto website

adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf

Backlinks from these awesome lists: