GitHub repository: ESA-Security-Group/fiat-crypto
Description: Cryptographic Primitive Code Generation by Fiat