Mauro Tempesta

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 16

Top Topics

Specific Domains

Security Mechanisms

Top Venues

USENIX Security Symposium

Publications

Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. SP (2023)
Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. CoRR (2022)
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia L. Luccio, Mauro Tempesta, Lorenzo Veronese
FWS: Analyzing, maintaining and transcompiling firewalls. J. Comput. Secur. 29 (1) (2021)
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web. USENIX Security Symposium (2021)
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
Language-Based Web Session Integrity. CoRR (2020)
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web. CoRR (2020)
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
Language-Based Web Session Integrity. CSF (2020)
Lorenzo Ceragioli, Letterio Galletta, Mauro Tempesta
From Firewalls to Functions and Back. ITASEC (2019)
Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta
Surviving the Web: A Journey into Web Session Security. WWW (Companion Volume) (2018)
Riccardo Focardi, Francesco Palmarini, Marco Squarcina, Graham Steel, Mauro Tempesta
Mind Your Keys? A Security Evaluation of Java Keystores. NDSS (2018)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese
Firewall Management With FireWall Synthesizer. ITASEC (2018)
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese
Language-Independent Synthesis of Firewall Policies. EuroS&P (2018)
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. USENIX Security Symposium (2018)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
Transcompiling Firewalls. POST (2018)
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring. CoRR (2018)
Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta
Surviving the Web: A Journey into Web Session Security. ACM Comput. Surv. 50 (1) (2017)
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta
Provably Sound Browser-Based Enforcement of Web Session Integrity. CSF (2014)