Teaching & Invited Lectures

Courses held at the University of Genova:

• Sistemi Operativi e Sicurezza Informatica (56922), Corso di Laurea in Ingegneria Informatica. Since a.y. 2009-2010. More info here.
• Sicurezza dei Sistemi Informatici (42380), Corso di Laurea in Scienze della Comunicazione. From a.y. 2008-2009. More info here.
• Intelligenza Artificiale 1 (20371), Corso di Laurea in Ingegneria Informatica.. From a.y. 1999-2000 till a.y. 2009-2010.
• Sicurezza Informatica 1 (CL3: 49481, CLS: 37689), Corso di Laurea in Ingegneria Informatica. From a.y. 2005-2006 till a.y. 2009-2010.
• Tecnologie Software per il Web 1 (49482), Corso di Laurea in Ingegneria Informatica. From a.y. 2007-2008 till a.y. 2009-2010.

Invited Lectures:

• Keynote talk on Security and Privacy of Web-based Single Sign-On Protocols: Pitfalls and Solutions, IFIP Summer School on Privacy and Identity Management for Life, September 7, 2011, Trento, Italy.
• Lecture on The Rewriting Approach to Decision Procedures, Summer School on Verification Technology, Systems & Applications (VTSA'11), September 23, 2011, Montefiore Institute (University of Liege), Belgium.
• Lecture on Automatic Symbolic Analysis of Access Control Policies, Summer School on Verification Technology, Systems & Applications (VTSA'11), September 23, 2011, Montefiore Institute (University of Liege), Belgium.
• Lecture on Automatic Validation of Internet Security Protocols, AEOLUS Summer School on Global Computing, September 20, 2007, Salerno, Italy.
• Lecture on Decision Procedures for Automated Verification, Scuola Estiva di Logica, September 5, 2006, Palazzo Feltrinelli, Gargnano, Italy.
• Lecture series on the Integration of Decision Procedures in Automated Reasoning, CALCULEMUS Autumn School, September 30 - October 1, 2002, Pisa.