Vanhoef, MathyMathyVanhoefSchepers, DomienDomienSchepersPiessens, FrankFrankPiessens2021-10-242021-10-242017https://imec-publications.be/handle/20.500.12860/29781Discovering logical vulnerabilities in the Wi-Fi handshake using model-based testingProceedings paperhttps://dl.acm.org/citation.cfm?id=3053008