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