Verified Correctness and Security of OpenSSL HMAC presented at SecuritySymposium 2015

by Andrew W. Appel, Lennart Beringer, Adam Petcher, Katherine Q. Ye,

Summary : N/A