| 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 | 35 | 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 | 31 | 2021 |
| 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 | 12 | 2023 |
| 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 | 8 | 2023 |
| 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 | 8 | 2022 |
| 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 | 8 | 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 |
| 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), 4591-4609, 2024 | 5 | 2024 |
| 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 | 4 | 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 | 4 | 2018 |
| Web Platform Threats: Automated Detection of Web Security Issues With {WPT} P Bernardo, L Veronese, V Dalla Valle, S Calzavara, M Squarcina, ... 33rd USENIX Security Symposium (USENIX Security 24), 757-774, 2024 | 2 | 2024 |
| Optimized two-stage AI-based Neural Decoding for Enhanced Visual Stimulus Reconstruction from fMRI Data L Veronese, A Moglia, L Mainardi, P Cerveri arXiv preprint arXiv:2412.13237, 2024 | | 2024 |
| Computer-Aided Formal Security Analysis of the Web Platform L Veronese Technische Universität Wien, 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 |
Mauro TempestaPostdoctoral Researcher, TU WienVerified email at tuwien.ac.at
