A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Distance-bounding protocols are cryptographic protocols that securely establish an upper bound on the physical distance between the participants. Existing symbolic verification frameworks for distance-bounding protocols consider timestamps and the location of agents. In this work we introduce a causality-based characterization of secure distancebounding that discards the notions of time and location. This allows us to verify the correctness of distance-bounding protocols with standard protocoldoi:10.1109/sp.2018.00001 dblp:conf/sp/MauwSTT18 fatcat:yb27nrpmpjgejosg47yedmp46a