Abstract:A distance bounding system guarantees an upper bound on the physical distance between a verifier and a prover. However, in contrast to a conventional wireless communication system, distance bounding systems introduce tight requirements on the processing delay at the prover and require high distance measurement precision making their practical realization challenging. Prior proposals of distance bounding systems focused primarily on building provers with minimal processing delays but did not consider the power limitations of provers and verifiers. However, in a wide range of applications (e.g., physical access control), provers are expected to be fully or semi-passive introducing additional constraints on the design and implementation of distance bounding systems. In this work, we propose a new physical layer scheme for distance bounding and leverage this scheme to implement a distance bounding system with a low-power prover. Our physical layer combines frequency modulated continuous wave (FMCW) and backscatter communication. The use of backscatter communication enables low power consumption at the prover which is critical for a number of distance bounding applications. By using the FMCW-based physical layer, we further decouple the physical distance estimation from the processing delay at the prover, thereby enabling the realization of the majority of distance bounding protocols developed in prior art. We evaluate our system under various attack scenarios and show that it offers strong security guarantees against distance, mafia and terrorist frauds. Additionally, we validate the communication and distance measurement characteristics of our system through simulations and experiments and show that it is well suited for short-range physical access control and payment applications.

Distance-bounding facing both mafia and distance frauds: Technical report*

A FMCW-Based Cross Layer RF Distance Bounding Scheme.

NAuth: Secure Face-to-Face Device Authentication Via Nonlinearity

Distance‐bounding trust protocol in anonymous radio‐frequency identification systems

Shedding Light on RFID Distance Bounding Protocols and Terrorist Fraud Attacks

A Nonlinearity-Based Secure Face-to-Face Device Authentication for Mobile Devices

Scalable Pseudo Random RFID Private Mutual Authentication

Low-power Distance Bounding

Who Stole My Cheese?: Verifying Intactness of Anonymous RFID Systems

Meed: A Memory-Efficient Distance Bounding Protocol With Error Detection

Secure Distance Bounding Verification using Physical-Channel Properties

A Distance Bounding Protocol Using Error State and Punishment

RFace: Anti-Spoofing Facial Authentication Using COTS RFID

Intactness verification in anonymous RFID systems

So Near and Yet So Far – Symbolic Verification of Distance-Bounding Protocols

An ultralightweight and privacy-preserving authentication protocol for mobile RFID systems.

Physical Layer Authentication and Identification in Wireless Network Via the Locations of Surrounding Noise Sources

When Theory and Reality Collide: Demystifying the Effectiveness of Ambient Sensing for NFC-based Proximity Detection by Applying Relay Attack Data

A Spectrum-Efficient Cross-Layer RF Distance Bounding Scheme

A Privacy-preserving RFID Authenticate Protocols Against Man-in-themiddle Attacks

Lightweight Rfid Mutual Authentication Protocol Against Feasible Problems