Luca Arnaboldi
Scholar

Luca Arnaboldi

Google Scholar ID: 2_72l3QAAAAJ
Assistant Professor, University of Birmingham
Machine LearningFormal MethodsProtocol VerificationComputer Security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
207
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
1 items
What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
2026
Cited
0
Resume (English only)
Co-authors
15 total
Ekaterina Komendantskaya
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Roberto Metere
Roberto Metere
Lecturer (Assistant Professor), University of York
Co-author 3
Co-author 3
Matthew L. Daggitt
Matthew L. Daggitt
Lecturer, University of Western Australia
Robert Atkey
Robert Atkey
University of Strathclyde
Co-author 6
Co-author 6
Marco Casadio
Marco Casadio
Phd, Heriot-Watt University
Co-author 8
Co-author 8