Explore a 16-minute conference talk presented at the 2018 IEEE Symposium on Security & Privacy, focusing on the DEEPSEC tool for automated verification of cryptographic protocols. Delve into the theoretical advancements and practical applications of deciding equivalence properties in security protocols. Learn about new complexity results for static equivalence, trace equivalence, and labelled bisimilarity, as well as a novel decision procedure for these equivalences with a bounded number of sessions. Discover how DEEPSEC efficiently analyzes a wide range of cryptographic primitives represented by subterm convergent destructor rewrite systems, significantly expanding the scope of protocols that can be verified.
Deciding Equivalence Properties in Security Protocols - Theory and Practice
Overview
Syllabus
DEEPSEC: Deciding Equivalence Properties in Security Protocols -- Theory and Practice
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
-
Distance-Bounding Protocols - Verification without Time and Location
-
Lay Down the Common Metrics - Evaluating Proof of Work Consensus Protocols' Security
-
OWL - Compositional Verification of Security Protocols via an Information-Flow Type System
-
Machine-Checked Proofs of Privacy for Electronic Voting Protocols
-
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
-
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
