A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters

Cas Cremers, Benjamin Kiesl, Niklas Medinger. A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters. In Srdjan Capkun, Franziska Roesner, editors, 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020. pages 1-17, USENIX Association, 2020. [doi]

Authors

Cas Cremers

This author has not been identified. Look up 'Cas Cremers' in Google

Benjamin Kiesl

This author has not been identified. Look up 'Benjamin Kiesl' in Google

Niklas Medinger

This author has not been identified. Look up 'Niklas Medinger' in Google