In brief

I currently work as postdoctoral researcher at Università Ca’ Foscari Venezia, Italy. My research focuses on formal methods, computer security and their intersection, with a particular emphasis on web security. I’ve also worked on access control, mobile security and language-based security.

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 calzavara@dais.unive.it