Browsing by Author Ye, Katherine
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 22-Jun-2016 | THE NOTORIOUS PRG:FORMAL VERIFICATION OF THE HMAC-DRBG PSEUDORANDOM NUMBER GENERATOR | Ye, Katherine |
| Issue Date | Title | Author(s) |
|---|---|---|
| 22-Jun-2016 | THE NOTORIOUS PRG:FORMAL VERIFICATION OF THE HMAC-DRBG PSEUDORANDOM NUMBER GENERATOR | Ye, Katherine |