Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Deciding Equivalence Properties in Security Protocols - Theory and Practice

IEEE via YouTube

Overview

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.

Syllabus

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

Taught by

IEEE Symposium on Security and Privacy

Reviews

Start your review of Deciding Equivalence Properties in Security Protocols - Theory and Practice

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.