Sjouke Mauw, Zach Smith, Jorge Toro-Pozo, Rolando Trujillo-Rasua. Distance-Bounding Protocols: Verification without Time and Location. In 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA. pages 549-566, IEEE, 2018. [doi]
Abstract is missing.