| 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 | 33 | 2018 |
| 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 | 20 | 2021 |
| 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 | 7 | 2021 |
| 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 | 6 | 2020 |
| The Bridge between Web Applications and Mobile Platforms is Still Broken P Beer, L Veronese, M Squarcina, M Lindorfer Workshop of Designing Security for the Web (SecWeb), 2022 | 3 | 2022 |
| Bulwark: Holistic and verified security monitoring of web protocols L Veronese, S Calzavara, L Compagna Computer Security–ESORICS 2020: 25th European Symposium on Research in …, 2020 | 3 | 2020 |
| Firewall management with firewall synthesizer C Bodei, P Degano, R Focardi, L Galletta, M Tempesta, L Veronese CEUR Workshop Proceedings 2058, 1-7, 2018 | 3 | 2018 |
| 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 | 2 | 2023 |
| Cookie crumbles: breaking and fixing web session integrity M Squarcina, P Adão, L Veronese, M Maffei 32nd USENIX Security Symposium (USENIX Security 23), 5539-5556, 2023 | 2 | 2023 |
| Tabbed Out: Subverting the Android Custom Tab Security Model P Beer, M Squarcina, L Veronese, M Lindorfer 2024 IEEE Symposium on Security and Privacy (SP), 105-105, 2024 | | 2024 |
| Holistic and verified security of monitoring protocols L Compagna, L Veronese, S Calzavara US Patent 11,575,687, 2023 | | 2023 |
| 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 |
| Web Platform Threats: Automated Detection of Web Security Issues With WPT P Bernardo, L Veronese, V Dalla Valle, S Calzavara, M Squarcina, ... | | |
Mauro TempestaPostdoctoral Researcher, TU WienVerified email at tuwien.ac.at
