Lorenzo Veronese

Joined

August 2023

Names

Lorenzo Veronese (Preferred)

Emails

****@tuwien.ac.at (Confirmed)

Personal Links

Career & Education History

PhD student

Technische Universität Wien (tuwien.ac.at)

2020 – 2024

Advisors, Relations & Conflicts

PhD Advisor

2020 – 2024

Coauthor

Marco Squarcina

2020 – 2024

Expertise

web security

,

formal methods

,

web protocols

2020 – 2024

Publications

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
- Published: 01 Jan 2023, Last Modified: 03 Oct 2023
- SP 2023
- Readers: Everyone
Cookie Crumbles: Breaking and Fixing Web Session Integrity
Marco Squarcina, Pedro Adão, Lorenzo Veronese, Matteo Maffei
- Published: 01 Jan 2023, Last Modified: 03 Oct 2023
- USENIX Security Symposium 2023
- Readers: Everyone
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei
- Published: 01 Jan 2022, Last Modified: 03 Oct 2023
- CoRR 2022
- Readers: Everyone
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
Lorenzo Veronese, Stefano Calzavara, Luca Compagna
- Published: 01 Jan 2021, Last Modified: 28 Sept 2023
- CoRR 2021
- Readers: Everyone
Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
- Published: 01 Jan 2021, Last Modified: 28 Sept 2023
- USENIX Security Symposium 2021
- Readers: Everyone
FWS: Analyzing, maintaining and transcompiling firewalls
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
- Published: 01 Jan 2021, Last Modified: 03 Oct 2023
- J. Comput. Secur. 2021
- Readers: Everyone
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
Lorenzo Veronese, Stefano Calzavara, Luca Compagna
- Published: 01 Jan 2020, Last Modified: 28 Sept 2023
- ESORICS (1) 2020
- Readers: Everyone
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
- Published: 01 Jan 2020, Last Modified: 28 Sept 2023
- CoRR 2020
- Readers: Everyone
Firewall Management With FireWall Synthesizer
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
- Published: 01 Jan 2018, Last Modified: 03 Oct 2023
- ITASEC 2018
- Readers: Everyone
Language-Independent Synthesis of Firewall Policies
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
- Published: 01 Jan 2018, Last Modified: 03 Oct 2023
- EuroS&P 2018
- Readers: Everyone

Co-Authors