| 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 | 78 | 2017 |
| 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 | 32 | 2018 |
| 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 | 28 | 2014 |
| 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 | 25 | 2018 |
| Transcompiling firewalls. C Bodei, P Degano, R Focardi, L Galletta, M Tempesta POST, 303-324, 2018 | 14 | 2018 |
| 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 | 13 | 2018 |
| 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 |
| 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 | 5 | 2020 |
| From Firewalls to Functions and Back. L Ceragioli, L Galletta, M Tempesta ITASEC, 2019 | 5 | 2019 |
| 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 |
| Enforcing Session Integrity in the World" Wild" Web M Tempesta Università Ca'Foscari Venezia, 2015 | 1 | 2015 |
| 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 |
Riccardo FocardiDAIS, Ca' Foscari University, VeniceBestätigte E-Mail-Adresse bei unive.it
