In brief

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, language-based security and adversarial machine learning. I have also worked on access control 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.

For any questions, feel free to write me at: