SPY

Contact people
Roberto Giacobazzi

Components

Alessandra Di Pierro
Associate Professor
Roberto Giacobazzi
Full Professor
Isabella Mastroeni
Assistant Professor
Nicola Fausto Spoto
Associate Professor
Skills
Topic Research area ISI-CRUI
Code synthesis Ingegneria del Software e Sicurezza
Software and its engineering - Software creation and management
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
Projects
Title People in charge Sponsors Starting date Duration (months)
Abstract Interpretation, type systems and control-flow analysis Ministero dell'Istruzione dell'Università e della Ricerca 11/26/00 24
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) Roberto Giacobazzi Ministero dell'Istruzione dell'Università e della Ricerca 9/22/08 24
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006) Roberto Giacobazzi PRIN VALUTATO POSITIVAMENTE 2/9/07 24
Analysis, verification and synthesis of hw/sw systems through synergies of abstract interpretation and automated reasoning Maria Paola Bonacina 6/1/12 36
Abstraction for verification Roberto Giacobazzi Conferenza Rettori Univeristà Italiane (CRUI) 6/1/02 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 7/15/11 24
(CoVer) Constraint-based Verification of Reactive systems Roberto Giacobazzi Ministero dell'Istruzione dell'Università e della Ricerca 12/1/02 24
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation Roberto Giacobazzi 7PQ VALUTATI POSITIVAMENTE 3/26/08 36
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation Roberto Giacobazzi 7PQ VALUTATI POSITIVAMENTE 11/27/08 36
Abstract interpretation and model checking for the verification of embedded systems Roberto Giacobazzi Ministero dell'Istruzione dell'Università e della Ricerca 2/21/03 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 9/22/08 24
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) 3/12/09 24
ornamento
Top