Follow
Lorenzo Veronese
Lorenzo Veronese
Verified email at tuwien.ac.at - Homepage
Title
Cited by
Cited by
Year
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
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
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
52021
Can i take your subdomain? Exploring related-domain attacks in the modern web
M Squarcina, M Tempesta, L Veronese, S Calzavara, M Maffei
arXiv preprint arXiv:2012.01946, 2020
52020
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
L Veronese, S Calzavara, L Compagna
European Symposium on Research in Computer Security, 23-41, 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
Holistic and Verified Security of Monitoring Protocols
L Compagna, L Veronese, S Calzavara
US Patent App. 17/172,011, 2022
2022
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
Run-time Prevention of Logic Flaws in Multi-Party Web Applications
L Veronese
UniversitÓ Ca'Foscari Venezia, 2020
2020
Firewall Management With FireWall Synthesizer
M Tempesta, C Bodei, P Degano, R Forcardi, L Galletta, L Veronese
keiner, 1, 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
The Bridge between Web Applications and Mobile Platforms is Still Broken
P Beer, L Veronese, M Squarcina, M Lindorfer
The system can't perform the operation now. Try again later.
Articles 1–12