Lorenzo Veronese

Lorenzo Veronese holds the position of PostDoc Researcher at the Technische Universität Wien (TU Wien), affiliated with the Department of Security Engineering within the Faculty of Informatics. His work focuses on formal methods applied to web and mobile security, including browser security mechanisms, firewall policies, and automated detection of security vulnerabilities.

Education: He holds a Dr.techn. (Doctor of Technical Sciences) from TU Wien, with his 2024 doctoral dissertation titled Computer-aided formal security analysis of the Web platform.

Research Interests include:

• Formal verification of security protocols
• Web platform vulnerability analysis
• Browser security mechanisms
• Automated firewall policy synthesis
• Mobile security (Android)
• Session integrity protection

Publications trends show a focus on web platform security with contributions in:

• Exploiting Android custom tab vulnerabilities
• Breaking/fixing web session integrity
• Machine-checked browser specifications
• Automated detection of web threats (WPT tool)

Projects include leadership in Browsec (2018–2024), W4MP (2023–2027), and IoTIO (2020–2025). He has also contributed to firewall management via FireWall Synthesizer (FWS) and ViSP.

Advising: Supervised Lee A.'s 2024 diploma thesis on WebAPISpec. Active in teaching courses like Formal Methods for Security and Privacy and Introduction to Security.

Lab affiliations: Member of TU Wien's Security and Privacy research group, collaborating with industry partners on practical security solutions.