Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Mario Lilli

Mario Lilli

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Crypto×1Networking×1

Frequent co-authors

Roberto Metere1×
Luca Arnaboldi1×
Elvinia Riccobene1×

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

Papers

cs.CRcs.NIRecentMar 24, 2026

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

Roberto Metere, Mario Lilli, Luca Arnaboldi, Elvinia Riccobene

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.

View →