Verified Correctness and Security of mbedTLS HMAC-DRBG. - Katherine Q. Ye; Matthew Green 001; Naphat Sanguansin; Lennart Beringer; Adam Petcher; Andrew W. Appel (CCS, 2017)