Distance Bounding

Correction: the notion of tainted refers to sessions and not to adversaries. There was a small typo . (Thanks to Bogdan) The reading group of today has been driven by Bogdan and Marcel. In the first part of the presentation, Bogdan talked about security definitions on distance bounding protocols. These definition best fit to RFID authentication, and they are designed as countermeasures against man-in-the-middle attacks: measuring elapsed time between sending challenges and receiving responses ma