USENIX Security '20 - A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by...
▶USENIX Security '20 - A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by... — a USENIX security conference talk on wireless-rf (11:41 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube