Scholar
Luca Arnaboldi
Google Scholar ID: 2_72l3QAAAAJ
Assistant Professor, University of Birmingham
Machine Learning
Formal Methods
Protocol Verification
Computer Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
207
H-index
9
i10-index
8
Publications
20
Co-authors
15
list available
Publications
2 items
Beyond Red-Teaming: Formal Guarantees of LLM Guardrail Classifiers
2026
Cited
0
What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
2026
Cited
0
Co-authors
11 total
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Roberto Metere
Lecturer (Assistant Professor), University of York
Matthew L. Daggitt
Lecturer, University of Western Australia
Robert Atkey
University of Strathclyde
Marco Casadio
Phd, Heriot-Watt University
Ricardo M. Czekster
Lecturer (Assistant Professor), Aston University
Tanvi Dinkar
Post Doc, Heriot Watt University
Omri Isac
The Hebrew University of Jerusalem
