{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:24:40Z","timestamp":1756895080714,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,2]],"date-time":"2017-04-02T00:00:00Z","timestamp":1491091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,2]]},"DOI":"10.1145\/3052973.3053008","type":"proceedings-article","created":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T12:22:54Z","timestamp":1490962974000},"page":"360-371","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing"],"prefix":"10.1145","author":[{"given":"Mathy","family":"Vanhoef","sequence":"first","affiliation":[{"name":"imec-DistriNet, KU Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Domien","family":"Schepers","sequence":"additional","affiliation":[{"name":"imec-DistriNet, KU Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[{"name":"imec-DistriNet, KU Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,2]]},"reference":[{"volume-title":"WiFi encryption over time. Retrieved","year":"2016","key":"e_1_3_2_1_1_1","unstructured":"WiGLE : WiFi encryption over time. Retrieved 23 October 2016 from https:\/\/wigle.net\/enc-large.html. WiGLE: WiFi encryption over time. Retrieved 23 October 2016 from https:\/\/wigle.net\/enc-large.html."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11542322_6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.39"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.40"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2766498.2766512"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.15"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11416-007-0065-x"},{"key":"e_1_3_2_1_8_1","volume-title":"NDSS","author":"Cassola A.","year":"2013","unstructured":"A. Cassola , W. Robertson , E. Kirda , and G. Noubir . A practical, targeted, and stealthy attack against WPA enterprise authentication . In NDSS , 2013 . A. Cassola, W. Robertson, E. Kirda, and G. Noubir. A practical, targeted, and stealthy attack against WPA enterprise authentication. In NDSS, 2013."},{"key":"e_1_3_2_1_9_1","volume-title":"Committee et al. Wireless LAN medium access control (MAC) and physical layer (PHY) specifications","author":"I.","year":"2012","unstructured":"I. . L. S. Committee et al. Wireless LAN medium access control (MAC) and physical layer (PHY) specifications . IEEE Standard , 2012 . I. . L. S. Committee et al. Wireless LAN medium access control (MAC) and physical layer (PHY) specifications. IEEE Standard, 2012."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.14"},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Security","author":"De Ruiter J.","year":"2015","unstructured":"J. De Ruiter and E. Poll . Protocol state fuzzing of TLS implementations . In USENIX Security , 2015 . J. De Ruiter and E. Poll. Protocol state fuzzing of TLS implementations. In USENIX Security, 2015."},{"key":"e_1_3_2_1_12_1","first-page":"7435","article-title":"Some protection most of the time","author":"Dukhovni V.","year":"2014","unstructured":"V. Dukhovni . Opportunistic security : Some protection most of the time . RFC 7435 , 2014 . V. Dukhovni. Opportunistic security: Some protection most of the time. RFC 7435, 2014.","journal-title":"RFC"},{"key":"e_1_3_2_1_13_1","volume-title":"Lecture Notes in Computer Science","author":"Fluhrer S.","year":"2001","unstructured":"S. Fluhrer , I. Mantin , and A. Shamir . Weaknesses in the key scheduling algorithm of RC4. In SAC , Lecture Notes in Computer Science , 2001 . S. Fluhrer, I. Mantin, and A. Shamir. Weaknesses in the key scheduling algorithm of RC4. In SAC, Lecture Notes in Computer Science, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SENSORCOMM.2008.131"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.17487\/RFC8110","volume-title":"Opportunistic wireless encryption. RFC Draft","author":"Harkins D.","year":"2017","unstructured":"D. Harkins and W. Kumari . Opportunistic wireless encryption. RFC Draft 7, Feb. 2017 . D. Harkins and W. Kumari. Opportunistic wireless encryption. RFC Draft 7, Feb. 2017."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1023646.1023655"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102124"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICISS.2008.10"},{"key":"e_1_3_2_1_19_1","volume-title":"Letter ballot 52 comments. Retrieved","author":"IEEE","year":"2016","unstructured":"IEEE 802.11 WG. Letter ballot 52 comments. Retrieved 20 October 2016 from http:\/\/www.ieee802.org\/11\/LetterBallots\/preLB86\/11-03-033r10-I-LB52-Comments.xls, June 2003. IEEE 802.11 WG. Letter ballot 52 comments. Retrieved 20 October 2016 from http:\/\/www.ieee802.org\/11\/LetterBallots\/preLB86\/11-03-033r10-I-LB52-Comments.xls, June 2003."},{"key":"e_1_3_2_1_20_1","volume-title":"Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Spec","author":"IEEE","year":"2012","unstructured":"IEEE Std 802.11--2012. Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Spec , 2012 . IEEE Std 802.11--2012. Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Spec, 2012."},{"key":"e_1_3_2_1_21_1","volume-title":"Ignore Michael MIC failure reports if cipher is not TKIP. hostapd committextttfbc72d32c","author":"Malinen J.","year":"2011","unstructured":"J. Malinen . Ignore Michael MIC failure reports if cipher is not TKIP. hostapd committextttfbc72d32c , 2011 . J. Malinen. Ignore Michael MIC failure reports if cipher is not TKIP. hostapd committextttfbc72d32c, 2011."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC-7.2008.22"},{"key":"e_1_3_2_1_23_1","volume-title":"NDSS","author":"Mitchell C. H. J. C.","year":"2005","unstructured":"C. H. J. C. Mitchell . Security analysis and improvements for IEEE 802.11i . In NDSS , 2005 . C. H. J. C. Mitchell. Security analysis and improvements for IEEE 802.11i. In NDSS, 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627393.2627411"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978411"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/996943.996948"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514274.1514286"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2484313.2484368"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664260"},{"key":"e_1_3_2_1_30_1","volume-title":"USENIX Security","author":"Vanhoef M.","year":"2016","unstructured":"M. Vanhoef and F. Piessens . Predicting, decrypting, and abusing WPA2\/802.11 group keys . In USENIX Security , 2016 . M. Vanhoef and F. Piessens. Predicting, decrypting, and abusing WPA2\/802.11 group keys. In USENIX Security, 2016."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/NSWCTC.2010.251"},{"key":"e_1_3_2_1_32_1","unstructured":"Wi-Fi Alliance. Hotspot 2.0 (Release 2) Technical Specification v1.1.0 2010.  Wi-Fi Alliance. Hotspot 2.0 (Release 2) Technical Specification v1.1.0 2010."},{"key":"e_1_3_2_1_33_1","volume-title":"Mar.","author":"Alliance Wi-Fi","year":"2015","unstructured":"Wi-Fi Alliance . Technical note: Removal of TKIP from Wi-Fi devices , Mar. 2015 . Wi-Fi Alliance. Technical note: Removal of TKIP from Wi-Fi devices, Mar. 2015."}],"event":{"name":"ASIA CCS '17: ACM Asia Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Abu Dhabi United Arab Emirates","acronym":"ASIA CCS '17"},"container-title":["Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3052973.3053008","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3052973.3053008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:58Z","timestamp":1750217818000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3052973.3053008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,2]]},"references-count":33,"alternative-id":["10.1145\/3052973.3053008","10.1145\/3052973"],"URL":"https:\/\/doi.org\/10.1145\/3052973.3053008","relation":{},"subject":[],"published":{"date-parts":[[2017,4,2]]},"assertion":[{"value":"2017-04-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}