Stuhlsatzenhaus 5 66123 Saarbrücken (Germany)
A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters
Usenix Security Symposium (USENIX-Security)