Skip navigation

Browsing by Author Ye, Katherine

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
22-Jun-2016THE NOTORIOUS PRG:FORMAL VERIFICATION OF THE HMAC-DRBG PSEUDORANDOM NUMBER GENERATORYe, Katherine