most citedNLP Verification: Towards a General Methodology for Certifying Robustness

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2026

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…