Login / Signup
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments.
Ioana Boureanu
Constantin Catalin Dragan
François Dupressoir
David Gérault
Pascal Lafourcade
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
real time
distance measure
probabilistic model
statistical models
social networks
d objects
parameter estimation
complex systems
smart card
mathematical models