Research groups

SPY

Mila Dalla Preda
Associate Professor
Roberto Giacobazzi
Full Professor
Nicola Fausto Spoto
Associate Professor
Alessandra Di Pierro
Associate Professor
Isabella Mastroeni
Associate Professor
Topic Research area
Static Analysis Ingegneria del Software e verifica formale
Software organization and properties
Formal software and application security 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
Code protection Sicurezza informatica
Formal methods and theory of security
Quantitative static analysis Ingegneria del Software e verifica formale
Software organization and properties
Program semantics Ingegneria del Software e verifica formale
Semantics and reasoning
Semantics of Probabilistic Languages Ingegneria del Software e verifica formale
Semantics and reasoning
Code synthesis Ingegneria del Software e verifica formale
Software creation and management
Topological Quantum Computation Ingegneria del Software e verifica formale
Models of computation
Title Managers Sponsors Starting date Duration (months)
Abstract Interpretation, type systems and control-flow analysis Ministero dell'Istruzione dell'Università e della Ricerca Nov 26, 2000 24
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) Roberto Giacobazzi Ministero dell'Istruzione dell'Università e della Ricerca Sep 22, 2008 24
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006) Roberto Giacobazzi PRIN VALUTATO POSITIVAMENTE Feb 9, 2007 24
Analysis, verification and synthesis of hw/sw systems through synergies of abstract interpretation and automated reasoning Maria Paola Bonacina Jun 1, 2012 36
Abstraction for verification Roberto Giacobazzi Conferenza Rettori Universita' Italiane (CRUI) Jun 1, 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 Jul 15, 2011 24
(CoVer) Constraint-based Verification of Reactive systems Roberto Giacobazzi Ministero dell'Istruzione dell'Università e della Ricerca Dec 1, 2002 24
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation Roberto Giacobazzi 7PQ VALUTATI POSITIVAMENTE Mar 26, 2008 36
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation Roberto Giacobazzi 7PQ VALUTATI POSITIVAMENTE Nov 27, 2008 36
Abstract interpretation and model checking for the verification of embedded systems Roberto Giacobazzi Ministero dell'Istruzione dell'Università e della Ricerca Feb 21, 2003 46
Interpretation-based design and measurement of code-protecting transformations Roberto Giacobazzi Joint Projects - assegnato e gestito dal Dipartimento Nov 1, 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 Sep 22, 2008 24
Security Horizons Luca Vigano' MIUR Feb 1, 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) Mar 12, 2009 24
Static Analysis for Multithreading - Joint Project 2011 Massimo Merro Julia s.r.l. Jan 1, 2013 30

Activities

Research facilities

Share