Extending Automated Protocol State Learning for the 802.11 4-Way Handshake

There is no fulltext present in this item.

Title:	Extending Automated Protocol State Learning for the 802.11 4-Way Handshake
Author(s):	McMahonStone, C,; Chothia, T.; Ruiter, J.E.J. de
Publication year:	2018
In:	Lecture Notes in Computer Science, (2018)Lopez, J. (ed.), Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I, pp. 325-345
Publisher:	Cham : Springer International Publishing
ISBN:	9783319990736
ISSN:	0302-9743
DOI:	https://doi.org/10.1007/978-3-319-99073-6_16
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/195372
Display more details
Editor(s):	Lopez, J.
Subject:	Digital Security
Organization:	Digital Security
Journal title:	Lecture Notes in Computer Science
Book title:	Lopez, J. (ed.), Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I
Page start:	p. 325
Page end:	p. 345
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.