My main academic interests line in the areas of computer security and formal methods. I have also collaborated with prof. Gianluigi Bellin in the areas of theoretical computer science and logic for pragmatics.

My publications

I maintain an up-to-date list of my publications on my ORCID profile. Some, but not all, of them are also listed on DBLP.

Preprints and slides

Here is a collection of preprints of my articles and presentations.

Class notes

I have written some notes (in Italian) for the following courses I took. They are currently incomplete — work on them is in slow progress. Pull requests are welcome.

Other work

  • A. Menti and M. Zago, Attacco ad Android: obiettivi, rischi e contromisure, published online (2013)


I was a teaching assistant for the following courses: