Research groups

SPY

Mila Dalla Preda: Associate Professor
Roberto Giacobazzi: Full Professor
Nicola Fausto Spoto: Associate Professor

Alessandra Di Pierro: Associate Professor
Isabella Mastroeni: Associate Professor

Research interests
Topic	Research area
Static Analysis	Ingegneria del Software e Sicurezza Software organization and properties
Formal software and application security	Ingegneria del Software e Sicurezza Software and application security
Lambda Calculus	Informatica teorica Models of computation
Probabilistic Analysis of Security	Ingegneria del Software e Sicurezza Formal methods and theory of security
Code protection	Ingegneria del Software e Sicurezza Formal methods and theory of security
Quantitative static analysis	Ingegneria del Software e Sicurezza Software organization and properties
Program semantics	Informatica teorica Semantics and reasoning
Semantics of Probabilistic Languages	Informatica teorica Semantics and reasoning
Code synthesis	Ingegneria del Software e Sicurezza Software creation and management
Topological Quantum Computation	Informatica teorica Models of computation

Projects
Title	Managers	Sponsors	Starting date	Duration (months)
Abstract Interpretation, type systems and control-flow analysis		Ministero dell'Istruzione dell'Università e della Ricerca	Nov 26, 2000	24
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007)	Roberto Giacobazzi	Ministero dell'Istruzione dell'Università e della Ricerca	Sep 22, 2008	24
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006)	Roberto Giacobazzi	PRIN VALUTATO POSITIVAMENTE	Feb 9, 2007	24
Analysis, verification and synthesis of hw/sw systems through synergies of abstract interpretation and automated reasoning	Maria Paola Bonacina		Jun 1, 2012	36
Abstraction for verification	Roberto Giacobazzi	Conferenza Rettori Universita' Italiane (CRUI)	Jun 1, 2002	12
Combinazione di analisi e sintesi di programmi: co-generazione di astrazioni e raffinamenti per l'analisi e la sintesi di programmi (PRIN 2009 valutato positivamente ma non finanziato)	Roberto Giacobazzi	PRIN VALUTATO POSITIVAMENTE	Jul 15, 2011	24
(CoVer) Constraint-based Verification of Reactive systems	Roberto Giacobazzi	Ministero dell'Istruzione dell'Università e della Ricerca	Dec 1, 2002	24
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation	Roberto Giacobazzi	7PQ VALUTATI POSITIVAMENTE	Mar 26, 2008	36
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation	Roberto Giacobazzi	7PQ VALUTATI POSITIVAMENTE	Nov 27, 2008	36
Abstract interpretation and model checking for the verification of embedded systems	Roberto Giacobazzi	Ministero dell'Istruzione dell'Università e della Ricerca	Feb 21, 2003	46
Interpretation-based design and measurement of code-protecting transformations	Roberto Giacobazzi	Joint Projects - assegnato e gestito dal Dipartimento	Nov 1, 2014	24
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007)	Luca Vigano'	Ministero dell'Istruzione dell'Università e della Ricerca	Sep 22, 2008	24
Security Horizons	Luca Vigano'	MIUR	Feb 1, 2013	36
Shadowcode: code protection in .net by abstract and dynamic steganography - Joint Project 2007	Roberto Giacobazzi	Ateneo, Consorzio Veneto dell’Informatica e del Tecnologico Avanzato (VITA)	Mar 12, 2009	24
Static Analysis for Multithreading - Joint Project 2011	Massimo Merro	Julia s.r.l.	Jan 1, 2013	30