Hi, my name is Lorenzo Veronese and I am a PhD student at TU Wien. In the last years I took part in many CTFs as a member of mhackeroni, We_0wn_y0u, and c00kies@venice. My interests include formal methods, web security and network security.

Publications

• P. Bernardo, L. Veronese, V. D. Valle, S. Calzavara, M. Squarcina, P. Adao, M. Maffei. Web Platform Threats: Automated Detection of Web Security Issues With WPT.
  In 33nd USENIX Security Symposium (USENIX Security '24), 2024.
• P. Beer, M. Squarcina, L. Veronese, M. Lindorfer. Tabbed Out: Subverting the Android Custom Tab Security Model
  In 45th IEEE Symposium on Security and Privacy (IEEE S&P 2024).
• M. Squarcina, P. Adao, L. Veronese, M. Maffei. Cookie Crumbles: Breaking and Fixing Web Session Integrity.
  In 32nd USENIX Security Symposium (USENIX Security '23), 2023.
• L. Veronese, B. Farinier, P. Bernardo, M. Tempesta, M. Squarcina, M. Maffei. WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.
  In 44th IEEE Symposium on Security and Privacy (IEEE S&P 2023).
• P. Beer, L. Veronese, M. Squarcina, M. Lindorfer. The Bridge between Web Applications and Mobile Platforms is Still Broken.
  In 43rd IEEE Symposium on Security and Privacy Workshops (SecWeb 2022).
• M. Squarcina, M. Tempesta, L. Veronese, S. Calzavara, M. Maffei.
  Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web.
  In 30th USENIX Security Symposium (USENIX Security '21), 2021.
• C. Bodei, L. Ceragioli, P.Degano, R. Focardi, L. Galletta, F. Luccio,
  M. Tempesta, L. Veronese.
  FWS: Analyzing, Maintaining and Transcompiling Firewalls.
  In Journal of Computer Security, IOS Press, vol. 29, no. 1, pp. 77-134, 2021.
• L. Veronese, S. Calzavara, L. Compagna.
  Bulwark: Holistic and Verified Security Monitoring of Web Protocols.
  In European Symposium on Research in Computer Security (ESORICS), 2020.
• C. Bodei, P. Degano, R. Focardi, L. Galletta, M. Tempesta, L. Veronese.
  Language-Independent Synthesis of Firewall Policies.
  In 3rd IEEE European Symposium on Security and Privacy (EuroS&P 2018).
• C. Bodei, P. Degano, R. Focardi, L. Galletta, M. Tempesta, L. Veronese.
  Firewall Management with FireWall Synthesizer (Demo Paper).
  2nd Italian Conference on Cybersecurity (ITASEC 2018).

Academic Service

• TheWebConf (WWW), PC memeber (2024), external reviewer (2022)
• SecWeb, PC memeber (2021-2024)
• USENIX Security, external reviewer (2023)
• ACSAC, external reviewer (2023)
• ACM CCS, external reviewer (2023)

Teaching Assistance

• Einführung in Security (UE 192.019) (2024S)
• Attacks and Defenses in Computer Security (UE 192.111) (2021W, 2022W, 2023W)
• Introduction to Security (UE 192.082) (2021S, 2022S, 2023S)
• Introduction to Security (VU 184.783) (2021S, 2022S, 2023S)
• Security 1 [CM0475] (A.Y. 2019/2020)
• Security 1 [CM0475], Security 2 [CT0494] (A.Y. 2018/2019)
• Programming (mod 2) [CT0304] (A.Y. 2017/2018)