Distance-Bounding Protocols: Verification without Time and Location.

Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua

Browse the full SP paper archive.