Research Experience
- From Nov 2021: Associate Professor at Università Ca’ Foscari Venezia
- Nov 2018 – Oct 2021: Assistant Professor with tenure track at Università Ca’ Foscari Venezia
- Aug 2015 – Oct 2018: Postdoctoral Researcher at Università Ca’ Foscari Venezia
- Mar 2015 – May 2015: Postdoctoral Researcher at Saarland University
- Mar 2013 – Feb 2015: Postdoctoral Researcher at Università Ca’ Foscari Venezia
Education
- Jan 2010 – Dec 2012: Ph.D. in Computer Science, Università Ca’ Foscari Venezia
- Sep 2007 – Oct 2009: M.A. in Computer Science, Università Ca’ Foscari Venezia
- Sep 2004 – Oct 2007: B.A. in Computer Science, Università Ca’ Foscari Venezia
Awards
Research awards:
- Distinguished Paper award at the IEEE Symposium on Security and Privacy (IEEE S&P 2025) for the contribution Verifiable boosted tree ensembles
- 3rd place at the Applied Research competition of CSAW 2019 for the contribution Postcards from the post-HTTP world (presented at S&P 2019)
- EA-TCS Best Paper award at ETAPS 2013 for the contribution Logical foundations of secure resource management in protocol implementations (presented at POST 2013)
Service awards:
- Notable Reviewer award at the USENIX Security Symposium in 2025
- Top Reviewer award at the ACM Conference on Computer and Communication Security (ACM CCS) in 2023 and 2025
- Distinguished Service award for outstanding contributions as the Program Chair of the IEEE Computer Security Foundations symposium (CSF 2022 and 2023)
- Distinguished Reviewer award at the IEEE European Symposium on Security and Privacy (EuroS&P 2022)
Curriculum Vitae
You can access a (likely outdated) full copy of my CV by clicking here.