@inproceedings{ad173755173e4d329c90a8462f3d71ec,
title = "Extending Automated Protocol State Learning for the 802.11 4-Way Handshake",
abstract = "We show how state machine learning can be extended to handle time out behaviour and unreliable communication mediums. This enables us to carry out the first fully automated analysis of 802.11 4-Way Handshake implementations. We develop a tool that uses our learning method and apply this to 7 widely used Wi-Fi routers, finding 3 new security critical vulnerabilities: two distinct downgrade attacks and one router that can be made to leak some encrypted data to an attacker before authentication.",
author = "Tom Chothia and {McMahon Stone}, Christopher and {De Ruiter}, Joeri",
year = "2018",
month = aug,
day = "8",
doi = "10.1007/978-3-319-99073-6_16",
language = "English",
isbn = " 978-3-319-99072-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "325--345",
editor = "Lopez, {Javier } and Zhou, {Jianying } and Soriano, {Miguel }",
booktitle = "Computer Security",
edition = "1",
note = "23rd European Symposium on Research in Computer Security, ESORICS 2018, ESORICS 2018 ; Conference date: 03-09-2018 Through 07-09-2018",
}