Paolo Modesti
Scholar

Paolo Modesti

Google Scholar ID: PgX3mWgAAAAJ
Senior Lecturer in Cybersecurity, Teesside University, UK, Europe
Security ProtocolsApplied Formal MethodsLanguage Based SecurityCode Generation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
485
 
H-index
12
 
i10-index
14
 
Publications
20
 
Co-authors
19
list available
Contact
No contact links provided.
Publications
1 items
Evaluating Large Language Models for Symbolic Security Protocol Analysis
2026
Cited
0
Resume (English only)
Co-authors
19 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Michele Bugliesi
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
Leo Freitas
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Co-author 6
Co-author 6
Luca Viganò
Luca Viganò
Professor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College
Co-author 8
Co-author 8