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