52 citations · 52 across the 2 of their papers we have counts for
1 paper · 1 filter
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…