@misc{cryptoeprint:2018:1243, author = {Ioana Boureanu and David Gerault and Pascal Lafourcade}, title = {Implementation-Level Corruptions in Distance Bounding -- Exhibiting Faults and Provably-Secure Fixes in the Electronic Payment Protocol PayPass --}, howpublished = {Cryptology ePrint Archive, Report 2018/1243}, year = {2018}, url = {https://eprint.iacr.org/2018/1243}, }