52 citations · 52 across the 2 of their papers we have counts for
2 papers
cs.CR2017★ 52 cited
Verified Correctness and Security of mbedTLS HMAC-DRBG
Katherine Q. Ye, Matthew Green, Naphat Sanguansin +3
We have formalized the functional specification of HMAC-DRBG (NIST 800-90A), and we have proved its cryptographic security--that its output is pseudorandom--using a hybrid game-bas…
cs.PL2014
The Foundational Cryptography Framework
Adam Petcher, Greg Morrisett
We present the Foundational Cryptography Framework (FCF) for developing and checking complete proofs of security for cryptographic schemes within a proof assistant. This is a gener…