Verified Correctness and Security of mbedTLS HMAC-DRBG.

Katherine Q. Ye, Matthew Green, Naphat Sanguansin, Lennart Beringer, Adam Petcher, Andrew W. Appel

Browse the full CCS paper archive.