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 Verifica Formale Software organization and properties
Static program analysis	Ingegneria del Software e Verifica Formale Automated static analysis
Formal software and application security	Sicurezza informatica Software and application security
Blockchain and smart contracts	Ingegneria del Software e Verifica Formale Software creation and management
Formal models of computation	Ingegneria del Software e Verifica Formale Models of computation
Probabilistic Analysis of Security	Sicurezza informatica Formal methods and theory of security
Code protection	Sicurezza informatica Formal methods and theory of security
Program semantics	Ingegneria del Software e Verifica Formale Semantics and reasoning

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