Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade 0001. Mechanised Models and Proofs for Distance-Bounding. In 34th IEEE Computer Security Foundations Symposium, CSF 2021, Dubrovnik, Croatia, June 21-25, 2021. pages 1-16, IEEE, 2021. [doi]
Abstract is missing.