Browsing School of Computer Science and Informatics by Author "Lauradoux, Cedric"

Now showing items 1-2 of 2

A framework for analyzing RFID distance bounding protocols

Bingol, Muhammed Ali; Avoine, Gildas; Kardas, Suleyman; Lauradoux, Cedric; Martin, Benjamin (Article)

Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which leads to inaccurate analyzes and unfair ...
Security of distance-bounding: A survey

Bingol, Muhammed Ali; Avoine, Gildas; Boureanu, Ioana; Capkun, Srdjan; Gerhard, Hancke; Kardas, Suleyman; Kim, Chong Hee; Lauradoux, Cedric; Martin, Benjamin; Munilla, Jorge; Peinado, Alberto; Rasmussen, Kasper Bonne; Singelee, Dave; Tchamkerten, Aslan; Trujillo-Rasua, Rolando; Vaudenay, Serge (Article)

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 systems, e.g., electronic ...