Scholar
Elvinia Riccobene
Google Scholar ID: zVU4mW0AAAAJ
Professore, Università di Milano, Italy
Formal Methods
Software Engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,046
H-index
32
i10-index
90
Publications
20
Co-authors
17
list available
Publications
1 items
What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
2026
Cited
0
Co-authors
7 total
Angelo Gargantini
University of Bergamo
Paolo Arcaini
National Institute of Informatics
Raffaela Mirandola
Full Professor, Karlsruhe Institute of Technology
Giampaolo Bella
University of Catania
Atif Mashkoor
Johannes Kepler University, Linz, Austria
Salvatore Rinzivillo
KDDLab, ISTI, CNR
Luigi Lavazza
Professor of Computer Science, Università degli Studi dell'Insubria
