Invited talk: Advances in computer aided cryptography
▶Invited talk: Advances in computer aided cryptography — a 2017 Eurocrypt 2017 security conference talk on crypto (1:02:27 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube