Ye, Green, Sanguansin, Beringer, Petcher, Appel, 2017. Verified Correctness and Security of mbedTLS HMAC-DRBG, in: . ACM Press.. https://doi.org/10.1145/3133956.3133974