Mauro Tempesta

According to our database, Mauro Tempesta authored at least 15 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.

Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.

Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei

CoRR, 2022

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

Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web.

Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei

Proceedings of the 30th USENIX Security Symposium, 2021

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

Language-Based Web Session Integrity.

Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

From Firewalls to Functions and Back.

Lorenzo Ceragioli, Letterio Galletta, Mauro Tempesta

Proceedings of the Third Italian Conference on Cyber Security, 2019

2018

Disciplined techniques for the analysis and protection of security-critical systems.

Mauro Tempesta

PhD thesis, 2018

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.

Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta

Proceedings of the 27th USENIX Security Symposium, 2018

Transcompiling Firewalls.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Mind Your Keys? A Security Evaluation of Java Keystores.

Riccardo Focardi, Francesco Palmarini, Marco Squarcina, Graham Steel, Mauro Tempesta

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Firewall Management With FireWall Synthesizer.

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta, Lorenzo Veronese

Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

Language-Independent Synthesis of Firewall Policies.

Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Riccardo Focardi, Mauro Tempesta, Lorenzo Veronese

Proceedings of the 2018 IEEE European Symposium on Security and Privacy, 2018

2017

Surviving the Web: A Journey into Web Session Security.

Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta

ACM Comput. Surv., 2017

2014

Provably Sound Browser-Based Enforcement of Web Session Integrity.

Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014