Research groups

SPY

Mila Dalla Preda
Temporary Assistant Professor
Roberto Giacobazzi
Full Professor
Nicola Fausto Spoto
Associate Professor
Alessandra Di Pierro
Associate Professor
Isabella Mastroeni
Associate Professor
Topic Research area 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
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 Univeristà 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
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