Biblio

Export 1 results:
Filters: Author is Katherine Q. Ye  [Clear All Filters]
2015
Beringer L, Petcher A, Ye KQ, Appel AW.  2015.  Verified Correctness and Security of OpenSSL HMAC. 24th USENIX Security Symposium (USENIX Security 15). :207--221.