Scholar
Lorenzo Veronese
Google Scholar ID: f6XYEY8AAAAJ
TU Wien
Information Security
Web Security
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
160
H-index
7
i10-index
5
Publications
19
Co-authors
9
list available
Contact
No contact links provided.
Publications
2 items
LeanDY: Type-Based and Trace-Based Symbolic Protocol Verification in Lean
2026
Cited
0
Do You Understand How I Feel?: Towards Verified Empathy in Therapy Chatbots
2026
Cited
0
Resume (English only)
Co-authors
9 total
Co-author 1
Co-author 2
Matteo Maffei
Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center
Stefano Calzavara
Università Ca' Foscari Venezia
Letterio Galletta
IMT School for Advanced Studies Lucca
CHIARA BODEI
Computer Science Associate Professor, University of Pisa
Riccardo Focardi
DAIS, Ca' Foscari University, Venice
Luca Compagna
SAP Security Research
