State-Separating Proofs: A Reduction Methodology for Real-World Protocols

Name: State-Separating Proofs: A Reduction Methodology for Real-World Protocols
Uploaded: 2018-01-01
Duration: 5 min 43 s
Description: State-Separating Proofs: A Reduction Methodology for Real-World Protocols — a 2018 Eurocrypt 2018 Rump Session security conference talk on crypto (5:43 min). Watch the full video, indexed free on the Breach Arc Archive.

Eurocrypt 2018 Rump Session · 2018 · 5:43

▶

State-Separating Proofs: A Reduction Methodology for Real-World Protocols — a 2018 Eurocrypt 2018 Rump Session security conference talk on crypto (5:43 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive