What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication

Roberto Metere, Mario Lilli, Luca Arnaboldi +1

The latest Wi-Fi security standard, IEEE 802.11, includes a secure authentication protocol called SAE, whose use is mandatory for WPA3-Personal networks. The protocol is specified…