YoVDO

Distance-Bounding Protocols - Verification without Time and Location

Offered By: IEEE via YouTube

Tags

IEEE Symposium on Security and Privacy Courses Cryptography Courses

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 Cryptography
University 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