1. Musab A Alturki, Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. 2018. Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. In Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and Privacy. ACM, 60--71.
2. Gildas Avoine, Christian Floerkemeier, and Benjamin Martin. 2009. RFID distance bounding multistate enhancement. In International Conference on Cryptology in India. Springer, 290--307.
3. Stefan Brands and David Chaum. 1993. Distance-bounding protocols. In Workshop on the Theory and Application of of Cryptographic Techniques. Springer, 344--359.
4. Jolyon Clulow, Gerhard P Hancke, Markus G Kuhn, and Tyler Moore. 2006. So near and yet so far: Distance-bounding attacks in wireless networks. In European Workshop on Security in Ad-hoc and Sensor Networks. Springer, 83--97.
5. Christos Dimitrakakis, Aikaterini Mitrokotsa, and Serge Vaudenay. 2012. Expected loss bounds for authentication in constrained channels. In Proceedings Ieee Infocom. Ieee, 478--485.