Lorenzo Veronese

15 papers A* 5A 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Do You Understand How I Feel?: Towards Verified Empathy in Therapy Chatbots.
CoRR
Francesco Dettori, Matteo Forasassi, Lorenzo Veronese, Livia Lestingi, Vincenzo Scotti, Matteo G. Rossi
2024 J jnl
Optimized two-stage AI-based Neural Decoding for Enhanced Visual Stimulus Reconstruction from fMRI Data.
CoRR
Lorenzo Veronese, Andrea Moglia, Luca T. Mainardi, Pietro Cerveri
2024 A* conf
Tabbed Out: Subverting the Android Custom Tab Security Model.
SP
Philipp Beer, Marco Squarcina, Lorenzo Veronese, Martina Lindorfer
2024 A* conf
Web Platform Threats: Automated Detection of Web Security Issues With WPT.
USENIX Security Symposium
Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
2023 A* conf
Cookie Crumbles: Breaking and Fixing Web Session Integrity.
USENIX Security Symposium
Marco Squarcina, Pedro Adão, Lorenzo Veronese, Matteo Maffei
2023 — conf
Stain Transfer using CycleGAN for Histopathological Images.
EUROCON
Lorenzo Veronese, Isabella Poles, Eleonora D'Arnese, Marco D. Santambrogio
2023 A* conf
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
SP
Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
2022 J jnl
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
CoRR
Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei
2021 J jnl
Bulwark: Holistic and Verified Security Monitoring of Web Protocols.
CoRR
Lorenzo Veronese, Stefano Calzavara, Luca Compagna
2021 A* conf
Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web.
USENIX Security Symposium
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
2021 J jnl
FWS: Analyzing, maintaining and transcompiling firewalls.
J. Comput. Secur.
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
2020 — conf
Bulwark: Holistic and Verified Security Monitoring of Web Protocols.
ESORICS (1)
Lorenzo Veronese, Stefano Calzavara, Luca Compagna
2020 J jnl
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web.
CoRR
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
2018 — conf
Firewall Management With FireWall Synthesizer.
ITASEC
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
2018 A conf
Language-Independent Synthesis of Firewall Policies.
EuroS&P
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese