Gruppi di ricerca

SPY

Mila Dalla Preda: Professore associato
Roberto Giacobazzi: Professore ordinario
Nicola Fausto Spoto: Professore associato

Alessandra Di Pierro: Professore associato
Isabella Mastroeni: Professore associato

Competenze
Argomento	Area di ricerca
Analisi statica	Ingegneria del Software e verifica formale Software organization and properties
Aspetti formali di sicurezza del software	Sicurezza informatica Software and application security
Blockchain and smart contracts	Ingegneria del Software e verifica formale Software creation and management
Lambda Calculus	Ingegneria del Software e verifica formale Models of computation
Probabilistic Analysis of Security	Sicurezza informatica Formal methods and theory of security
Protezione del software	Sicurezza informatica Formal methods and theory of security
Quantitative Static Analysis	Ingegneria del Software e verifica formale Software organization and properties
Semantica di programmi	Ingegneria del Software e verifica formale Semantics and reasoning
Semantics of Probabilistic Languages	Ingegneria del Software e verifica formale Semantics and reasoning
Sintesi di codice	Ingegneria del Software e verifica formale Software creation and management
Topological Quantum Computation	Ingegneria del Software e verifica formale Models of computation

Progetti
Titolo	Responsabili	Fonte finanziamento	Data inizio	Durata (mesi)
Abstract Interpretation, type systems and control-flow analysis		Ministero dell'Istruzione dell'Università e della Ricerca	26/11/2000	24
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007)	Roberto Giacobazzi	Ministero dell'Istruzione dell'Università e della Ricerca	22/09/2008	24
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006)	Roberto Giacobazzi	PRIN VALUTATO POSITIVAMENTE	09/02/2007	24
Analisi, verifica e sintesi di sistemi software/hardware mediante l'impiego sinergico di interpretazione astratta e ragionamento automatico (PRIN 2010-11 non finanziato)	Maria Paola Bonacina		01/06/2012	36
Astrazione e verifica	Roberto Giacobazzi	Conferenza Rettori Universita' Italiane (CRUI)	01/06/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	15/07/2011	24
(CoVer) Constraint-based Verification of Reactive systems	Roberto Giacobazzi	Ministero dell'Istruzione dell'Università e della Ricerca	01/12/2002	24
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation	Roberto Giacobazzi	7PQ VALUTATI POSITIVAMENTE	26/03/2008	36
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation	Roberto Giacobazzi	7PQ VALUTATI POSITIVAMENTE	27/11/2008	36
Interpretazione astratta e model checking per la verifica di sistemi embedded	Roberto Giacobazzi	Ministero dell'Istruzione dell'Università e della Ricerca	21/02/2003	46
JP2014 - Progettazione basata sull'interpretazione e misurazione delle trasformazioni del codice di protezione	Roberto Giacobazzi	Joint Projects - assegnato e gestito dal Dipartimento	01/11/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	22/09/2008	24
Security Horizons	Luca Vigano'	MIUR	01/02/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)	12/03/2009	24
Static Analysis for Multithreading - Joint Project 2011	Massimo Merro	Julia s.r.l.	01/01/2013	30