Scholar
Paolo Modesti
Google Scholar ID: PgX3mWgAAAAJ
Senior Lecturer in Cybersecurity, Teesside University, UK, Europe
Security Protocols
Applied Formal Methods
Language Based Security
Code Generation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
485
H-index
12
i10-index
14
Publications
20
Co-authors
19
list available
Publications
2 items
Exploiting and Securing Docker containers and Kubernetes pods from a MitM attack
2026
Cited
0
Evaluating Large Language Models for Symbolic Security Protocol Analysis
2026
Cited
0
Co-authors
9 total
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
Leo Freitas
Senior Lecturer in Formal Methods and Tools, School of Computing Science, Newcastle University, UK
Luca Viganò
Professor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College
Dr Chidimma Opara
Teesside University
Stefano Calzavara
Università Ca' Foscari Venezia
Siamak F. Shahandashti
University of York, UK
Feng Hao
Professor of Security Engineering, Department of Computer Science, University of Warwick
Patrick McCorry
Crypto enthusiast
