Gruppi di ricerca

SPY

Mila Dalla Preda
Ricercatore a tempo determinato
Roberto Giacobazzi
Professore ordinario
Nicola Fausto Spoto
Professore associato
Alessandra Di Pierro
Professore associato
Isabella Mastroeni
Professore associato
Argomento Area di ricerca ISI-CRUI
Code synthesis Ingegneria del software e sicurezza
Software and its engineering  -  Software creation and management
Computer Science & Engineering
Formal software and application security Ingegneria del software e sicurezza
Security and privacy  -  Software and application security
Computer Science & Engineering
Lambda Calculus Informatica teorica
Theory of computation  -  Models of computation
Probabilistic Analysis of Security Ingegneria del software e sicurezza
Security and privacy  -  Formal methods and theory of security
Protezione del software Ingegneria del software e sicurezza
Security and privacy  -  Formal methods and theory of security
Computer Science & Engineering
Quantitative Static Analysis Ingegneria del software e sicurezza
Software and its engineering  -  Software organization and properties
Semantics Informatica teorica
Theory of computation  -  Semantics and reasoning
Computer Science & Engineering
Semantics of Probabilistic Languages Informatica teorica
Theory of computation  -  Semantics and reasoning
Static Analysis Ingegneria del software e sicurezza
Software and its engineering  -  Software organization and properties
Computer Science & Engineering
Topological Quantum Computation Informatica teorica
Theory of computation  -  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