USENIX Security '15 - Verified Correctness and Security of OpenSSL HMAC

Name: USENIX Security '15 - Verified Correctness and Security of OpenSSL HMAC
Duration: 26 min 59 s
Description: USENIX Security '15 - Verified Correctness and Security of OpenSSL HMAC — a USENIX Security '15 security conference talk on crypto (26:59 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX Security '15 · 26:59

▶

USENIX Security '15 - Verified Correctness and Security of OpenSSL HMAC — a USENIX Security '15 security conference talk on crypto (26:59 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive