I am an associate professor in Computer Science at Università Ca’ Foscari Venezia, Italy. My research focuses on formal methods, software security and their intersection. Current topics of interest include web security and adversarial machine learning. I have also worked on access control, language-based security and mobile security in the past.
Check the present website for a list of publications on these topics, as well as for more information about me and my most significant early achievements.
I’m serving as the leader of the Italian chapter of OWASP from 2021 to 2023. Read more about OWASP Italy here!
For any questions, feel free to write me at: email@example.com