Lecture: Security: HMAC

Date: 3/27/17

Reading

• Required reading: Verified Correctness and Security of OpenSSL HMAC, Lennart Beringer, Adam Petcher, Katherine Q. Ye, Andrew W. Appel, USENIX Security, 2015.
• Optional reading: Verification of a cryptographic primitive: SHA-256, Andrew W. Appel, ACM Trans. on Programming Languages and Systems 37, 2, 2015.