Vaudenay, Serge2015-07-212015-07-212015-07-21201510.1007/978-3-662-47854-7_12https://infoscience.epfl.ch/handle/20.500.14299/116561WOS:000364322400012Distance-Bounding is used to defeat relay attacks. For wireless payment systems, the payment terminal is not always online. So, the protocol must rely on a public key for the prover (payer). We propose a generic transformation of a (weakly secure) symmetric distance bounding protocol which has no post-verification into wide-strong-private and secure public-key distance bounding.text::conference output::conference proceedings::conference paper