Distance-bounding protocols allow a verifier to both authenticate a prover and evaluate
whether the latter is located in his vicinity. These protocols are of particular interest in …

Distance-bounding protocols are cryptographic protocols that securely establish an upper
bound on the physical distance between the participants. Existing symbolic verification …

We present an extension of the applied pi-calculus that can be used to model distance
bounding protocols. A range of different security properties have been sug-gested for …

Distance-bounding protocols are security protocols with a time measurement phase used to
detect relay attacks, whose security is typically measured against mafia-fraud and distance …

Authentication in wireless communications often depends on the physical proximity to a
location. Distance-bounding (DB) protocols are cross-layer authentication protocols that are …

For many modern applications like eg contactless payment, and keyless systems, ensuring
physical proximity is a security goal of paramount importance. Formal methods have proved …

A relay attack is accomplished by simply relaying messages between a prover (eg, an RFID
tag) and a verifier (eg, an RFID reader) with the goal of convincing the verifier of its close …

Verification of cryptographic protocols is traditionally built upon the assumption that
participants have not revealed their long-term keys. However, in some cases, participants …

Software-based remote memory attestation is a method for determining the state of a remote
device without relying on secure hardware. In classical computing devices, the method is …

For many modern applications like eg contactless payment, and keyless systems, ensuring
physical proximity is a security goal of paramount importance. Formal methods have proved …