Language-Independent Synthesis of Firewall Policies. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Riccardo Focardi; Mauro Tempesta; Lorenzo Veronese (EuroS&P, 2018)

Firewall Management With FireWall Synthesizer. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Mauro Tempesta; Lorenzo Veronese (ITASEC, 2018)

Bulwark: Holistic and Verified Security Monitoring of Web Protocols. - Lorenzo Veronese; Stefano Calzavara; Luca Compagna (ESORICS (1), 2020)

Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web. - Marco Squarcina; Mauro Tempesta; Lorenzo Veronese; Stefano Calzavara; Matteo Maffei (CoRR, 2020)

Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web. - Marco Squarcina; Mauro Tempesta; Lorenzo Veronese; Stefano Calzavara; Matteo Maffei (USENIX Security Symposium, 2021)

FWS: Analyzing, maintaining and transcompiling firewalls. - Chiara Bodei; Lorenzo Ceragioli; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Flaminia L. Luccio; Mauro Tempesta; Lorenzo Veronese (J. Comput. Secur., 2021)

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. - Lorenzo Veronese; Benjamin Farinier; Mauro Tempesta; Marco Squarcina; Matteo Maffei (CoRR, 2022)

Stain Transfer using CycleGAN for Histopathological Images. - Lorenzo Veronese; Isabella Poles; Eleonora D'Arnese; Marco D. Santambrogio (EUROCON, 2023)

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. - Lorenzo Veronese; Benjamin Farinier; Pedro Bernardo; Mauro Tempesta; Marco Squarcina; Matteo Maffei (SP, 2023)

Cookie Crumbles: Breaking and Fixing Web Session Integrity. - Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei (USENIX Security Symposium, 2023)

Tabbed Out: Subverting the Android Custom Tab Security Model. - Philipp Beer; Marco Squarcina; Lorenzo Veronese; Martina Lindorfer (SP, 2024)

Web Platform Threats: Automated Detection of Web Security Issues With WPT. - Pedro Bernardo; Lorenzo Veronese; Valentino Dalla Valle; Stefano Calzavara; Marco Squarcina; Pedro Adão; Matteo Maffei (USENIX Security Symposium, 2024)

Optimized two-stage AI-based Neural Decoding for Enhanced Visual Stimulus Reconstruction from fMRI Data. - Lorenzo Veronese; Andrea Moglia; Luca T. Mainardi; Pietro Cerveri (CoRR, 2024)