Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. In David Lie, Mohammad Mannan, editors, Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018. pages 60-71, ACM, 2018. [doi]