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 …

In location-sensitive applications, dishonest users may submit fake location claims to
illegally access a service or obtain benefit. To address this issue, a number of location proof …

From contactless payments to remote car unlocking, many applications are vulnerable to
relay attacks. Distance bounding protocols are the main practical countermeasure against …

Recently, there has been a rapid growth in location-based systems and applications in
which users submit their location information to service providers in order to gain access to a …

Relay attacks (and, more generally, man-in-the-middle attacks) are a serious threat against
many access control and payment schemes. In this work, we present distance-bounding …

Distance-bounding is a practical solution aiming to prevent relay attacks. The main
challenge when designing such protocols is maintaining their inexpensive cryptographic …

NFC and RFID are technologies that are more and more present in our life. These
technologies allow a tag to communicate without contact with a reader. In wireless …

The chapters in this open access book arise out of the EU Cost Action project Cryptacus, the
objective of which was to improve and adapt existent cryptanalysis methodologies and tools …

Smartcard-based protocols represent an increasingly large share of the wireless
authentication market, from contactless payments to remote car unlocking. Unfortunately …

Provably secure distance-bounding is a rising subject, yet an unsettled one; indeed, very
few distance-bounding protocols, with formal security proofs, have been proposed. In fact, so …