Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Formal Analysis of Distance Bounding with Secure Hardware
 
conference paper

Formal Analysis of Distance Bounding with Secure Hardware

Kilinç, Handan  
•
Vaudenay, Serge  
June 10, 2018
ACNS 2018: Applied Cryptography and Network Security
Applied Cryptography and Network Security (ACNS) 2018

A distance bounding (DB) protocol is a two-party authentication protocol between a prover and a verifier which is based on the distance between the prover and the verifier. It aims to defeat threats by malicious provers who try to convince that they are closer to the verifier or adversaries which seek to impersonate a far-away prover. All these threats are covered in several security definitions and it is not possible to have a single definition covering all. In this paper, we describe a new DB model with three parties where the new party is named hardware. In this model, called secure hardware model (SHM), the hardware is held by the prover without being able to tamper with. We define an all-in-one security model which covers all the threats of DB and an appropriate privacy notion for SHM. In the end, we construct the most efficient (in terms of computation by the prover-hardware and number of rounds) and secure DB protocols achieving the optimal security bounds as well as privacy.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/978-3-319-93387-0_30
Author(s)
Kilinç, Handan  
Vaudenay, Serge  
Date Issued

2018-06-10

Published in
ACNS 2018: Applied Cryptography and Network Security
Start page

579

End page

597

Subjects

Distance bounding

•

RFID

•

NFC

•

Relay attack

•

Tamper resistance

•

Terrorist fraud

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LASEC  
Event name
Applied Cryptography and Network Security (ACNS) 2018
Available on Infoscience
July 19, 2018
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/147445
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés