Supervision Activity

I have coordinated the activity of the following research assistants (assegnisti di ricerca):

Jacopo Mantovani (2/4/2007 - 1/4/2008)
Lorenzo Platania (2/3/2009 - 15/6/2009)
Roberto Carbone (2/3/2009 - 1/11/2010)
Alessio Merlo (1/2/2010-31/7/2011)
Gabriele Costa (since 1/1/2012)

I have supervised the following people during their PhD:

Silvio Ranise (Dottorato in Ingegneria Elettronica ed Informatica, University of Genova, XIV Ciclo) Integration of Decision Procedures in Automated Theorem Provers. Joint supervision with Dr. Michael Rusinowitch (LORIA, Nancy), 2002.
Luca Compagna (Dottorato in Ingegneria Elettronica ed Informatica, University of Genova, XVI Ciclo) SAT-based Model Checking of Security Protocols. Joint supervision with Dr. Alan Smaill. (Division of Informatics, U. of Edinburgh), 2005.
Jacopo Mantovani (Dottorato in Robotica, University of Genova, XIX Ciclo) Automatic Software Verification for Robotics, 2007.
Pierre Ganty (Dottorato in Ingegneria Elettronica ed Informatica, University of Genova, XVIII Ciclo) The Fixpoint Checking Problem: An Abstraction Refinement Perspective. Joint supervision with Prof. Giorgio Delzanno (DISI, U. of Genova) and Prof. Jean-Francois Raskin (Computer Science Department, Université Libre de Bruxelles), 2007.
Roberto Carbone (Dottorato in Ingegneria Elettronica ed Informatica, University of Genova, XXI Ciclo) LTL Model-Checking for Security Protocols, 2009. The thesis has been awarded the CLUSIT Prize as best thesis on Information Security in 2009.
Lorenzo Platania (Dottorato in Ingegneria Elettronica ed Informatica, University of Genova, XXI Ciclo) Software Verification using Satisfiability Modulo Theories, 2009
Serena Elisa Ponta (Dottorato in Ingegneria Matematica e Simulazione, University of Genova, XXIII Ciclo)
Luca Zanetti (Dottorato in Ingegneria Elettronica ed Informatica, University of Genova, XXVI Ciclo)
Anh Truong (ICT School, XXVII Ciclo, University of Trento)

I have supervised the following people in their Master Thesis (in reverse chronological order):

Simone Larosa. Specifica ed analisi formali di un protocollo di sicurezza per l'autorizzazione di applicazioni web. Laurea Specialistica in Ingegneria Informatica, Università of Genova, 2009.
Andrea Rosina. Automatic Analysis of Adminstrative Role-Based Access Control Policies. Laurea Specialistica in Ingegneria Informatica, Università of Genova, 2008.
Roberto Basile. Specification and security analysis of the Google Single Sign-On service. Laurea Specialistica in Ingegneria Informatica, Università of Genova, October 2008.
Serena Elisa Ponta. Modeling, Formalisation and Automatic Analysis of Security-sensitive Banking Workflows: the Loan Origination Process as a Case Study. Laurea Specialistica in Ingegneria Informatica, Università of Genova, October 2007.
Lorenzo Platania. Combinazione di procedure di decisione nella verifica formale di software. Laurea Thesis in Computer Engineering - University of Genova, November 2005. Current position: PhD Student at DIST, University of Genova.
Roberto Carbone. Estensione del Problema di Pianificazione alla Logica Temporale: Applicazione all'Analisi Formale di Protocolli di Sicurezza. Laurea Thesis in Computer Engineering - University of Genova, November 2005. Current position: PhD Student at DIST, University of Genova.
Massimo Idini. Sviluppo ed analisi sperimentale di una procedura SAT-Based per la Separation Logic. Laurea Thesis in Computer Engineering - University of Genova, March 2004.
Cristina Frà. Estensione del Problema di Pianificazione Attraverso l'Utilizzo di Assiomi: Applicazione all'Analisi Formale di Protocolli di Sicurezza. Laurea Thesis in Computer Engineering - University of Genova, March 2004.
Corrado Giromini. La Logic Broker Architecture: Interconnessione di sistemi distribuiti per il ragionamento automatico. Laurea Thesis in Computer Engineering - University of Genova, December 2001.
Pasquale De Lucia. Model Checking di Programmi Imperativi nel Dominio dei Numeri Reali. Laurea Thesis in Computer Engineering - University of Genova, November 2001.
Felice Peccia. Valutazione Sperimentale di Procedure di Decisione per l'Aritmetica Lineare. Laurea Thesis in Computer Engineering - University of Genova, July 2001.
Luca Compagna. Progetto e sviluppo di un'architettura aperta per l'integrazione di procedure di decisione nella riscrittura. Laurea Thesis in Computer Engineering - University of Genova, October 2000. Current position: Senior Researcher at SAP Research, Sophia Antipolis, France.
Daniele Zini. Towards Interoperability of Verification Tools: the Logic Broker Architecture. Laurea Thesis in Computer Engineering - University of Genova, April 2000. Current position: Support Engineer at Microsoft Enterprise Services.
Claudio Castellini. Sviluppo ed analisi sperimentale di procedure di decisione per l'Aritmetica Lineare. Laurea Thesis in Computer Engineering - University of Genova, June 1998. Current position: Researcher at LIRA-Lab, DIST, University of Genova.
Silvio Ranise. Sistemi Aperti per il Ragionamento Meccanizzato: la procedura per l'aritmetica lineare di Boyer e Moore come Componente di Ragionamento. Laurea Thesis in Computer Engineering - University of Genova, December 1997. Current position: Researcher at INRIA-Lorraine, Nancy, France.
Alessandro Coglio. Definizione di un formalismo per la specifica delle strategie di inferenza dei sistemi di ragionamento meccanizzato e sua applicazione ad un sistema allo stato dell'arte. Laurea Thesis in Computer Engineering - University of Genova, April 1996. Current position: Computer Scientist at Kestrel Institute Palo Alto California (USA).
Corrado Cimatti. Una famiglia di procedure di decisione per la logica del prim'ordine. Laurea Thesis - University of Genova, October 1994.
Luca Viganò. Sintesi ed esecuzione di strategie di prova nella metateoria formale di un dimostratore interattivo. Laurea Thesis in Computer Engineering - University of Genova, January 1994. Current position: Associate Professor at the University of Verona.
Andrea Parodi. and Fulvio Rappa. Progetto e Sviluppo di un Ambiente per l'Integrazione di Algoritmi Decisionali in un Dimostratore Automatico Interattivo. Laurea Thesis in Computer Engineering - University of Genova, April 1993.

I have supervised the following people in their Bachelor Thesis (in reverse chronological order):

Simone Schiappacasse. Definizione di una applicazione per il testing del protocollo NSPK su sistemi reali. Laurea Triennale in Ingegneria Informatica - University of Genova, December 2010.
Nicolo' Zereik. Analisi del protocollo di autenticazione OpenId ed integrazione in una piattaforma per la verifica della sicurezza di applicazioni distribuite. Laurea Triennale in Ingegneria Informatica - University of Genova, December 2010.
Marco Malvasio. Analisi automatica di protocolli di Secure Positioning. Laurea Triennale in Ingegneria Informatica - University of Genova, October 2010.
Andrea Piccaluga. Analisi Comparativa di Strumenti per il Test di Penetrazione delle Applicazioni Web Laurea Triennale in Ingegneria Informatica - University of Genova, 2010.
Matteo Grasso. Scoperta ed analisi di un attacco di Cross-Site Scripting al SAML-based Single Sign-On per le Google Applications. Laurea Triennale in Ingegneria Informatica - University of Genova, 2010.
Giovanni Mazzarello. Design and development of a web platform for scientific dissemination: MateFitness.it. Laurea Triennale in Ingegneria Informatica - University of Genova, February 2009.
Alessandro Cappai. Progetto e sviluppo di un'architettura orientata ai servizi per uno strumento di analisi automatica di protocolli di sicurezza. Laurea Triennale in Ingegneria Informatica - University of Genova, 2008.