Verified correctness and security of OpenSSL HMAC [pdf]cs.princeton.edu2 points2510c39011c511 years ago