Security at Work, Phd Course, Pisa, May 2013

Ingegneria del Software (A.A. 12/13)

Sicurezza delle Reti (A.A. 12/13)

Sicurezza delle Reti (A.A. 11/12)

Ingegneria del Software (A.A. 11/12)

Sicurezza delle Reti (A.A. 10/11)

Ingegneria del Software (A.A. 10/11)

Logica Computazionale (Scuola Estiva AILA10)

Sicurezza delle Reti (A.A. 09/10)

Ingegneria del Software (A.A. 09/10)

Fundamentals of Software Engineering (Master CGD, A.A. 09/10)

Logica per informatica (A.A. 09/10)

Sicurezza delle Reti e dei Sistemi (A.A. 08/09)

Architetture Software / Ingegneria del Software (A.A. 08/09)

Deduction Systems for Non-Classical Logics (PhD course, A.A. 07/08)

Sicurezza delle Reti e dei Sistemi (A.A. 07/08)

Architetture Software / Ingegneria del Software (A.A. 07/08)

Reti di Calcolatori (A.A. 06/07)

Architetture Software / Ingegneria del Software (A.A. 06/07)

Information Security, core subject, ETH Zürich, SS06.

Formal Methods for Information Security, specialized course, ETH Zürich, WS05/06.

Information Security, core subject, ETH Zürich, SS05.

Formal Methods for Information Security, specialized course, ETH Zürich, SS04.

Information Security, specialized course, ETH Zürich, WS03/04.

Information Security, specialized course, ETH Zürich, SS03.