Distance-Bounding Protocols - Verification without Time and Location

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.