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 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
Quantum Computing Ingegneria del Software e verifica formale
Models of computation
Quantum Machine Learning and Quantum Optimization Ingegneria del Software e verifica formale
Theory and algorithms for application domains
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
Static Analysis Ingegneria del Software e verifica formale
Semantics and reasoning
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

Attività

Strutture

Condividi