Provably Sound Browser-Based Enforcement of Web Session Integrity. - Michele Bugliesi; Stefano Calzavara; Riccardo Focardi; Wilayat Khan; Mauro Tempesta (CSF, 2014)

Surviving the Web: A Journey into Web Session Security. - Stefano Calzavara; Riccardo Focardi; Marco Squarcina; Mauro Tempesta (ACM Comput. Surv., 2017)

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)

Mind Your Keys? A Security Evaluation of Java Keystores. - Riccardo Focardi; Francesco Palmarini; Marco Squarcina; Graham Steel; Mauro Tempesta (NDSS, 2018)

Transcompiling Firewalls. - Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Letterio Galletta; Mauro Tempesta (POST, 2018)

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. - Stefano Calzavara; Riccardo Focardi; Matteo Maffei; Clara Schneidewind; Marco Squarcina; Mauro Tempesta (USENIX Security Symposium, 2018)

Disciplined techniques for the analysis and protection of security-critical systems. - Mauro Tempesta (2018)

From Firewalls to Functions and Back. - Lorenzo Ceragioli; Letterio Galletta; Mauro Tempesta (ITASEC, 2019)

Language-Based Web Session Integrity. - Stefano Calzavara; Riccardo Focardi; Niklas Grimm; Matteo Maffei; Mauro Tempesta (CSF, 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)

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