Rajiv Ranjan Singh, José Moreira, Tom Chothia, Mark D. Ryan. Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties. In Konstantinos Markantonakis, Marinella Petrocchi, editors, Security and Trust Management - 16th International Workshop, STM 2020, Guildford, UK, September 17-18, 2020, Proceedings. Volume 12386 of Lecture Notes in Computer Science, pages 3-21, Springer, 2020. [doi]
Abstract is missing.