Follow
Mauro Tempesta
Mauro Tempesta
Postdoctoral Researcher, TU Wien
Verified email at tuwien.ac.at
Title
Cited by
Cited by
Year
Surviving the web: A journey into web session security
S Calzavara, R Focardi, M Squarcina, M Tempesta
ACM Computing Surveys (CSUR) 50 (1), 1-34, 2017
562017
Provably sound browser-based enforcement of web session integrity
M Bugliesi, S Calzavara, R Focardi, W Khan, M Tempesta
2014 IEEE 27th Computer Security Foundations Symposium, 366-380, 2014
272014
Language-independent synthesis of firewall policies
C Bodei, P Degano, L Galletta, R Focardi, M Tempesta, L Veronese
2018 ieee european symposium on security and privacy (euros&p), 92-106, 2018
262018
{WPSE}: Fortifying Web Protocols via {Browser-Side} Security Monitoring
S Calzavara, R Focardi, M Maffei, C Schneidewind, M Squarcina, ...
27th USENIX Security Symposium (USENIX Security 18), 1493-1510, 2018
222018
Transcompiling Firewalls.
C Bodei, P Degano, R Focardi, L Galletta, M Tempesta
POST, 303-324, 2018
122018
Can I Take Your Subdomain? Exploring {Same-Site} Attacks in the Modern Web
M Squarcina, M Tempesta, L Veronese, S Calzavara, M Maffei
30th USENIX Security Symposium (USENIX Security 21), 2917-2934, 2021
9*2021
Mind Your Keys? A Security Evaluation of Java Keystores.
R Focardi, F Palmarini, M Squarcina, G Steel, M Tempesta
NDSS, 2018
82018
FWS: Analyzing, maintaining and transcompiling firewalls
C Bodei, L Ceragioli, P Degano, R Focardi, L Galletta, F Luccio, ...
Journal of Computer Security 29 (1), 77-134, 2021
62021
From Firewalls to Functions and Back.
L Ceragioli, L Galletta, M Tempesta
ITASEC, 2019
52019
Language-Based Web Session Integrity
S Calzavara, R Focardi, N Grimm, M Maffei, M Tempesta
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 107-122, 2020
32020
Firewall management with firewall synthesizer
C Bodei, P Degano, F Riccardo, L Galletta, T Mauro, V Lorenzo
Second Italian Conference on Cyber Security (ITA-SEC 2018) 2058, 1-7, 2018
32018
Enforcing Session Integrity in the World" Wild" Web
M Tempesta
UniversitÓ Ca'Foscari Venezia, 2015
12015
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
L Veronese, B Farinier, M Tempesta, M Squarcina, M Maffei
arXiv preprint arXiv:2201.01649, 2022
2022
Disciplined techniques for the analysis and protection of security-critical systems
M Tempesta
UniversitÓ Ca'Foscari Venezia, 2019
2019
Firewall Management With FireWall Synthesizer
M Tempesta, C Bodei, P Degano, R Forcardi, L Galletta, L Veronese
keiner, 1, 2018
2018
Surviving the Web
S Calzavara, M Squarcina, R Focardi, M Tempesta
Companion of the The Web Conference 2018 on The Web Conference 2018-WWW'18, 2018
2018
A Linguistic Framework for Firewall Decompilation and Analysis
C Bodei, P Degano, R Focardi, L Galletta, M Tempesta, L Veronese
Security Principles and Trust Hotspot 2017, 2017
2017
Provably Sound Browser-Based Enforcement of Web Session Integrity
S Calzavara, R Focardi, W Khan, M Tempesta
2014 IEEE 27th Computer Security Foundations Symposium, 2014
2014
Development of security extensions based on Chrome APIs
R Focardi, M Tempesta
The system can't perform the operation now. Try again later.
Articles 1–19