Gruppi di ricerca

SPY

Mila Dalla Preda: Professore ordinario
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
Analisi statica di programmi	Ingegneria del Software e Verifica Formale Automated static analysis
Aspetti formali di sicurezza del software	Sicurezza informatica Software and application security
Blockchain e smart contracts	Ingegneria del Software e Verifica Formale Software creation and management
Computazione quantistica: modelli, semantica e analisi dei programmi, metodi per il machine learning	Algoritmi, Logica e teoria della computazione Theory of computing
Modelli formali della computazione	Ingegneria del Software e Verifica Formale Models of computation
Protezione del software	Sicurezza informatica Formal methods and theory of security
Semantica di programmi	Ingegneria del Software e Verifica Formale Semantics and reasoning

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