- Laurea (BS) in Informatica: Fondamenti dell'Informatica up to 2022!
- Master in Philosophical Sciences: Philosophy and epistemology of science.
- Master in Technology Law: New technologies and data management
- PhD course on "Presenting a paper" @ UNIVR. Slides.
- Studying Computer Science by ACM!
- Linguaggi di Programmazione (A.A. 16-17)
- Code Obfuscation: a Hacking view on program analysis and understanding.
- Codice Malevolo (MAD: Malware Analysis and Design) (A.A. 16-17)
- Laurea Magistrale in Ingegneria e Scienze Informatiche: Analisi Statica e Protezione (A.A. 12-13)
- Third International Summer School on Software Security and Protection ISSISP12, Tucson Arizona, May 20-25, 2012. slides1.pdf & slides2.pdf
- Second International Summer School on Software Security and Protection, ISISP11, Gent, July 4 - 8, 2011. Slides1 , Slides2 , Papers.
- First International Summer School on SW Security and Protection, Beijing July 26-30, 2010. Selected papers & Slides1 ; Slides2 ; Slides3. Press Release.
- PhD Course in Abstract Interpretation (2004)
- Minicorso su Blockchain
- Candidatura rettorato 2013-2019.
- POPL Steering Committee
- Static Analysis Symposium Steering Committee
- Presidenza di Facoltà 2006-2012: Rapporto di presidenza (in Italian)