Isabella Mastroeni

Foto,  3 febbraio 2016
Qualifica
Professore associato
Settore disciplinare
INF/01 - INFORMATICA
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 58
Telefono
+39 045 802 7089
Telefono mobile
+39 3204352533
Fax
+39 045 802 7068
E-mail
isabella|mastroeni*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/mastroeni/

Orario di ricevimento

Su appuntamento.

Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 32.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Ingegneria e scienze informatiche Analisi dei sistemi informatici (2017/2018)   6  eLearning
Laurea in Informatica Linguaggi (2017/2018)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Analisi dei sistemi informatici (2016/2017)   6  eLearning
Laurea in Informatica Fondamenti dell'informatica (2016/2017)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza del software (2016/2017)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Analisi dei sistemi informatici (2015/2016)   6  eLearning
Laurea in Informatica Fondamenti dell'informatica (2015/2016)   6  eLearning
Laurea in Informatica Fondamenti dell'informatica (2014/2015)   6  eLearning
Laurea in Informatica Linguaggi e compilatori (2014/2015)   12  eLearning LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza dei sistemi (2014/2015)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Analisi statica e protezione (2013/2014)   6     
Laurea magistrale in Ingegneria e scienze informatiche Compilatori avanzati (2013/2014)   6  eLearning
Laurea in Informatica Fondamenti dell'informatica (2013/2014)   6     
Laurea in Informatica Linguaggi e compilatori (2013/2014)   12  eLearning LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza dei sistemi (2013/2014)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Compilatori avanzati (2012/2013)   6   
Laurea in Informatica Linguaggi e compilatori (2012/2013)   12    LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza dei sistemi (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza dei sistemi (2011/2012)   6   
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza dei sistemi (2010/2011)   6   
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza dei sistemi (2009/2010)   6   
Laurea specialistica in Informatica Complessità (2008/2009)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2007/2008)   10      Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2007/2008)   10      Laboratorio
Laurea specialistica in Informatica Complessità (2007/2008)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2006/2007)   10    Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2006/2007)   10    Laboratorio
Laurea specialistica in Informatica Complessità (2006/2007)   5   
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Protocolli e ambienti per la sicurezza (2006/2007)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2005/2006)   10    Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2005/2006)   10    Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Cognomi A-P] (2005/2006)   12    Laboratorio

 

Gruppi di ricerca

SPY
Competenze
Argomento Descrizione Area di ricerca
Code synthesis Ingegneria del software e sicurezza
Software and its engineering - Software creation and management
Formal software and application security Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. Ingegneria del software e sicurezza
Security and privacy - Software and application security
Protezione del software Development of formal techniques and tools for the protection of software. Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Semantics Studio di tecniche di analisi e verifica di programmi a oggetti e di basso livello, al fine dell'identificazione automatica di errori e di problemi di sicurezza. Informatica teorica
Theory of computation - Semantics and reasoning
Static Analysis Studio di tecniche di analisi statica per linguaggi a oggetti e di basso livello. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. Ingegneria del software e sicurezza
Software and its engineering - Software organization and properties
Progetti
Titolo Data inizio
Abstract interpretation based analysis of Scripting Languages - Joint Projects 2014 01/12/14
Analisi statica per Applicazioni Android Affidabili 05/06/13
Security Horizons 01/02/13
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) 15/07/11
Shadowcode: code protection in .net by abstract and dynamic steganography - Joint Project 2007 12/03/09
Analisi du NUllness via weB Interattivo (ANUBI) - Joint Projects 2009 01/02/09
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation 27/11/08
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) 22/09/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation 26/03/08
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006) 09/02/07
Interpretazione astratta e model checking per la verifica di sistemi embedded 21/02/03
(CoVer) Constraint-based Verification of Reactive systems 01/12/02
Astrazione e verifica 01/06/02
Abstract Interpretation, type systems and control-flow analysis 26/11/00




Organizzazione

Strutture del dipartimento