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
Sensor SecurityIEEE via YouTube Tracking Ransomware End-to-end
IEEE via YouTube Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems
IEEE via YouTube Bitcoin Over Tor Isn't a Good Idea
IEEE via YouTube