DEEPSEC: Deciding Equivalence Properties in Security Protocols -- Theory and Practice

Name: DEEPSEC: Deciding Equivalence Properties in Security Protocols -- Theory and Practice
Uploaded: 2018-01-01
Duration: 16 min 20 s
Description: DEEPSEC: Deciding Equivalence Properties in Security Protocols -- Theory and Practice — a 2018 IEEE Security & Privacy 2018 (May 21-24) security conference talk on crypto (16:20 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2018 (May 21-24) · 2018 · 16:20

▶

DEEPSEC: Deciding Equivalence Properties in Security Protocols -- Theory and Practice — a 2018 IEEE Security & Privacy 2018 (May 21-24) security conference talk on crypto (16:20 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive