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