Mauro Tempesta

18 papers A* 4A 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
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 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 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
2020 A conf
Language-Based Web Session Integrity.
CSF
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
2020 J jnl
Language-Based Web Session Integrity.
CoRR
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
2019 — conf
From Firewalls to Functions and Back.
ITASEC
Lorenzo Ceragioli, Letterio Galletta, Mauro Tempesta
2018 — —
Disciplined techniques for the analysis and protection of security-critical systems.
Mauro Tempesta
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
2018 A* conf
Mind Your Keys? A Security Evaluation of Java Keystores.
NDSS
Riccardo Focardi, Francesco Palmarini, Marco Squarcina, Graham Steel, Mauro Tempesta
2018 — conf
Surviving the Web: A Journey into Web Session Security.
WWW (Companion Volume)
Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta
2018 — conf
Transcompiling Firewalls.
POST
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Mauro Tempesta
2018 A* conf
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.
USENIX Security Symposium
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
2018 J jnl
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.
CoRR
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
2017 J jnl
Surviving the Web: A Journey into Web Session Security.
ACM Comput. Surv.
Stefano Calzavara, Riccardo Focardi, Marco Squarcina, Mauro Tempesta
2014 A conf
Provably Sound Browser-Based Enforcement of Web Session Integrity.
CSF
Michele Bugliesi, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, Mauro Tempesta