Foundational Cryptography Framework for machine-checked proofs of cryptography, adding HMAC-DRBG spec and security proofs. Deprecated; see link for newest version
Primary LanguageCoq