Biblio

Export 1 results:
Filters: Author is Lennart Beringer  [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.