Computer-Aided Security Proofs for the Working Cryptographer (Crypto 2011)

Name: Computer-Aided Security Proofs for the Working Cryptographer (Crypto 2011)
Uploaded: 2011-01-01
Duration: 23 min 42 s
Description: Computer-Aided Security Proofs for the Working Cryptographer (Crypto 2011) — a 2011 IACR security conference talk on crypto (23:42 min). Watch the full video, indexed free on the Breach Arc Archive.

IACR · 2011 · 23:42

▶

Computer-Aided Security Proofs for the Working Cryptographer (Crypto 2011) — a 2011 IACR security conference talk on crypto (23:42 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive