Distance-Bounding Protocols - Verification without Time and Location
Offered By: IEEE via YouTube
Course Description
Overview
Explore a 22-minute IEEE conference talk on distance-bounding protocols presented at the 2018 IEEE Symposium on Security & Privacy. Delve into a novel causality-based approach for verifying these cryptographic protocols, which establish upper bounds on physical distances between participants. Learn how this method eliminates the need for timestamps and agent locations, enabling automated verification using standard tools. Discover how this framework confirmed known vulnerabilities and uncovered new attacks in recently published protocols, advancing the field of secure distance-bounding.
Syllabus
Distance-Bounding Protocols: Verification without Time and Location
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Applied CryptographyUniversity of Virginia via Udacity Cryptography II
Stanford University via Coursera Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera Cryptography I
Stanford University via Coursera Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera