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
Argomento Area di ricerca
Analisi statica Ingegneria del Software e Sicurezza
Software organization and properties
Aspetti formali di sicurezza del software 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
Protezione del software Ingegneria del Software e Sicurezza
Formal methods and theory of security
Quantitative Static Analysis Ingegneria del Software e Sicurezza
Software organization and properties
Semantica di programmi Informatica teorica
Semantics and reasoning
Semantics of Probabilistic Languages Informatica teorica
Semantics and reasoning
Sintesi di codice Ingegneria del Software e Sicurezza
Software creation and management
Topological Quantum Computation Informatica teorica
Models of computation
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
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

Attività

Strutture