Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model

Name: Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model
Uploaded: 2016-01-01
Duration: 23 min 33 s
Description: Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model — a 2016 Eurocrypt 2016 security conference talk on crypto (23:33 min). Watch the full video, indexed free on the Breach Arc Archive.

Eurocrypt 2016 · 2016 · 23:33

▶

Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model — a 2016 Eurocrypt 2016 security conference talk on crypto (23:33 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive