9am - 5pm
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
This event has passed
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
- São Miguel Island, Azore Islands (co-located with Cryptacus 2018 Summer school, to be held there thereafter)
- The sessions will occur at the Lince Azores Hotel in the City of Ponta Delgada
- 14-15 April 2018
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.