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 …

Contactless and contact smart card systems use the physical constraints of the
communication channel to implicitly prove the proximity of a token. These systems, however …

Abstract Internet of Things (IoT) is one of the rising innovations of the current era that has
largely attracted both the industry and the academia. Life without the IoT is entirely …

Abstract RFID (Radio Frequency Identification) systems are one of the most pervasive
computing technologies with technical potential and profitable opportunities in a diverse …

After several years of theoretical research on distance bounding protocols, the first
implementations of such protocols have recently started to appear. These protocols are …

Relay attacks are one of the most challenging threats RFID will have to face in the close
future. They consist in making the verifier believe that the prover is in its close vicinity by …

RFID systems are vulnerable to different attacks related to the location; distance fraud attack,
relay attack and terrorist attack. The main countermeasure against these attacks is the use of …

Many distance bounding protocols appropriate for the RFID technology have been proposed
recently. Unfortunately, they are commonly designed without any formal approach, which …

Location-based services are quickly becoming immensely popular. In addition to services
based on users' current location, many potential services rely on users' location history, or …

The Mafia fraud consists in an adversary transparently relaying the physical layer signal
during an authentication process between a verifier and a remote legitimate prover. This …