Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing.

Mathy Vanhoef, Domien Schepers, Frank Piessens

Browse the full CCS paper archive.