Elvinia Riccobene
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Networking×1
Frequent co-authors
Research Timeline
2026
What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
This paper provides a comprehensive formal security analysis of the WPA3 SAE protocol by modeling and analyzing both its high-level communication logic and its low-level state machine implementation.
Highlighted terms show continued research focus across papers