In brief

I am a tenure-track assistant professor in Computer Science at Universit√† Ca’ Foscari Venezia, Italy. My research focuses on formal methods, computer 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 a few years ago.

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.

Feel free to write me at: