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 firstname.lastname@example.org