Следене
Mauro Tempesta
Mauro Tempesta
Postdoctoral Researcher, TU Wien
Потвърден имейл адрес: tuwien.ac.at
Заглавие
Позовавания
Позовавания
Година
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
782017
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
322018
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
282014
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
25*2021
{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
252018
Transcompiling firewalls.
C Bodei, P Degano, R Focardi, L Galletta, M Tempesta
POST, 303-324, 2018
142018
Mind your keys? a security evaluation of java keystores
R Focardi, F Palmarini, G Steel, M Squarcina, M Tempesta
Proceedings of the Network and Distributed System Security Symposium, 1-15, 2018
132018
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
72021
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
52020
From Firewalls to Functions and Back.
L Ceragioli, L Galletta, M Tempesta
ITASEC, 2019
52019
Firewall management with firewall synthesizer
C Bodei, P Degano, R Focardi, L Galletta, M Tempesta, L Veronese
CEUR Workshop Proceedings 2058, 1-7, 2018
32018
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
L Veronese, B Farinier, P Bernardo, M Tempesta, M Squarcina, M Maffei
2023 IEEE Symposium on Security and Privacy (SP), 2761-2779, 2023
22023
Enforcing Session Integrity in the World" Wild" Web
M Tempesta
Università Ca'Foscari Venezia, 2015
12015
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
Development of security extensions based on Chrome APIs
R Focardi, M Tempesta
8th International Workshop on Analysis of Security APIs (ASA-8), 2015
2015
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–19