TY  - RPRT
TI  - Verified Correctness and Security of mbedTLS HMAC-DRBG
AU  - Katherine Q. Ye
AU  - Matthew Green
AU  - Naphat Sanguansin
AU  - Lennart Beringer
AU  - Adam Petcher
AU  - Andrew W. Appel
PY  - 2017
DO  - 10.1145/3133956.3133974
UR  - https://arxiv.org/abs/1708.08542
ID  - 1708.08542
ER  -