9.00AM - 5.00PM
Saturday 14 April - Sunday 15 April 2018

FutureDB - Distance-bounding: past, present, future

 A Cryptacus & Popstar Workshop

Bringing together theoreticians and practitioners, experts in attacks, protocol-design, (formal) security analysis, in order to discuss and shape the future research directions of distance bounding, which is the main mechanism to protect against the real-life threat of relay attacks.

Free

St. Michael’s Island, Azore Islands (co-located with Cryptacus 2018 Summer school, to be held there thereafter).
Registration is free. Please email Ioana Boureanu at i.boureanu@surrey.ac.uk to register.
Keynote speakers
S. Capkun, ETHZ, Switzerland
T. Chothia, University of Birmingham, UK
A. Debant, Univ. Rennes, CNRS, IRISA
D. Gerault, University of Clermont-Auvergne France
G. Hancke, City University of Hong Kong
J. Hermans, KU Leuven, Belgium
M. Kuhn, University of Cambridge, UK
H. Kılınç, EPFL, Switzerland
K. Rasmussen, University of Oxford, UK
PH. Thevenon, CEA, France
J. Toro Pozo, University of Luxembourg

Overview

FutureDB’s explicit aim is to bring together theoreticians and practitioners, experts in attacks, protocol-design, (formal) security analysis, in order to discuss and shape the future research directions of distance bounding, which is the main mechanism to protect against the real-life threat of relay attacks. One of our main hopes is that bringing together all these subcommunities will lead everyone to at least better understand the real-life risks, device limitations, and subtleties of protocol design in this field.

Location and time   

For travel information, please see the training school as a reference guide. View the training school's accommodation page, to get an idea of hotels close to the venue.

Programme

Saturday 14 April

  • 09:00: Introduction
  • 09:15: Gildas Avoine - A primer on relay attacks and distance-bounding protocols
  • 10:00: Markus Kuhn - Authentication at the speed of light: From distance-bounding protocols to securing broadcast navigation signals
  • 10:45: Coffee break
  • 11:15: Srdjan Capkun - Secure distance measurement - Physical layer and implementation issues
  • 12:15: Lunch break
  • 14:00: Stéphanie Delaune - An introduction to formal symbolic models
  • 14:30: Tom Chothia - Modelling and analysis of a hierarchy of distance-bounding attacks
  • 15:15: Coffee break
  • 15:45: Ioana Boureanu - Provable security models for distance-bounding
  • 16:30: David Gerault - TREAD: A generic and provable distance-bounding protocol for privacy
  • 17:15: End of the day

Sunday 15 April

  • 09:00: Jens Hermans - The protocol lifecycle
  • 09:45: Pierre-Henri Thévenon - A practical countermeasure against relay attacks 
  • 10:30: Coffee break
  • 11:00: Alexandre Debant - Proving physical proximity using symbolic models
  • 11:30: Jorge Toro Pozo - Distance-bounding protocols: Computational vs. symbolic models
  • 12:30: Lunch break
  • 14:30: Gerhard Hancke - Distance-bounding channels: Thoughts on security properties of the physical layer
  • 15:00:  Kasper Rasmussen - Security and privacy challenges associated with the implementation and deployment of distance-bounding protocols
  • 15:30: Coffee break
  • 16:00: Handan Kilinc - Public-key DB and its application on contactless access control
  • 17:00: End of the day

For further information on the talks please visit our FutureDB talks page.

Organising committee

  • Gildas Avoine, Univ. Rennes, INSA Rennes, CNRS, IRISA, France
  • Ioana Boureanu, University of Surrey, Guildford, UK
  • Stéphanie Delaune, Univ. Rennes, CNRS, IRISA
  • Cristina Onete, University of Limoges, Limoges, France

Questions

For questions regarding the workshop, the programme, other practical information or if you wish to take part, please feel free to email the following organiser: Ioana Boureanu.

Visitor information

Learn how to get to the University, finding your way around campus and what you can do when you get here.