discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Verified Correctness and Security of OpenSSL HMAC
http://katherineye.com/post/120638230126/verified-correctness-and-security-of-openssl-hmac
26 comments
6/6/2015