Teaching Activity

Starting from A.Y. 2019/2020, I am teaching the following courses:

  • Databases – Mod. 2
  • Formal languages and computability
  • Security – Mod. 2

You can find the links to the course homepages on the Ca’ Foscari website.

Supervised Theses

I enjoy working with motivated students with a strong interest in formal methods and/or computer security. Please find below a selected set of the theses I supervised in the past, many of which led to scientific publications. If you think you are interested in related topics and would like to work with me, just write me or drop by my office at any time!

  • Alberto Carotti – Cookie protection through browser extensions
  • Andrea Casini – Understanding machine learning effectiveness to protect web authentication
  • Alessandro Frazza – An information flow type system for Android
  • Alvise Rabitti – Towards formal verification of Liferay RBAC
  • Fabio Salvini – Flow logic based information flow analysis of Android applications
  • Marco Squarcina – Granalyze: towards the automatic verification of Grsecurity RBAC policies
  • Enrico Steffinlongo – Privilege separation in browser architectures
  • Mauro Tempesta – Enforcing session integrity in the World “Wild” Web