Isabella Mastroeni

Foto,  3 febbraio 2016
Qualifica
Professore associato
Ruolo
Professore II fascia
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_5 - Cryptology, security, privacy, quantum crypto

PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 88
Telefono
+390458027089
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

Il lavoro di ricerca di Isabella Mastroeni si focalizza su:
- Interpretazione astratta 
- Sicurezza
In particolare nella prima area, si occupa dello studio di semantiche di linguaggi di programmazione e tecniche di analisi statica che permettano di analizzare linguaggi di programmazione (inclusi i linguaggi di programmazione dinamici). 
Nell'ambito di sicurezza, la ricerca tocca vari ambiti:
- Sicurezza basata sui linguaggi, con particolare attenzione dei modelli e delle tecniche di analisi di proprietà di confidenzialità basati su non-interferenza;
- Rilevazione e riconoscimento di malware mediante lo studio di modelli che permettono di analizzare la similarità di codice, ovvero la similarità tra malware noti e loro evoluzioni;  
- Protezione del codice mediante offuscamento, che permette di rendere un codice incomprensibile mediante una manipolazione sintattica guidata dalle proprietà semantiche che si vogliono preservare del programma;
- Studio di tecniche di analisi di proprietà di sicurezza che permettono di prevenire attacchi basati sulla presenza di vulnerabilità di code injection.

Le sue pubblicazioni si concentrano maggiormente su riviste e conferenze internazionali del settore dei linguaggi di programmazione (POPL, ESOP, SAS, PEPM...), della sicurezza (TOPS, JCS,...) e degli aspetti formali dell'informatica (FACJ, TCS, MSCS,...).

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 58.
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 del software (2023/2024)   6   
Laurea in Informatica Fondamenti dell'informatica (2023/2024)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di analisi e verifica del software (2023/2024)   6  eLearning
Laurea magistrale a ciclo unico in Scienze della formazione primaria Laboratorio di tecnologie didattiche (2023/2024)   3  eLearning
Laurea in Informatica Linguaggi (2023/2024)   6  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di analisi e verifica del software (2022/2023)   6  eLearning
Laurea magistrale a ciclo unico in Scienze della formazione primaria Laboratorio di tecnologie didattiche (2022/2023)   3  eLearning
Laurea in Informatica Linguaggi (2022/2023)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di analisi e verifica del software (2021/2022)   6  eLearning
Laurea magistrale a ciclo unico in Scienze della formazione primaria Laboratorio di tecnologie didattiche (2021/2022)   3  eLearning
Laurea in Informatica Linguaggi (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di analisi e verifica del software (2020/2021)   6  eLearning
Laurea in Informatica Linguaggi (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale a ciclo unico in Scienze della formazione primaria Metodologie didattiche attive e tecnologie didattiche (2020/2021)   11  eLearning [Gruppo 2] (Laboratorio di Metodologie didattiche attive C)
[Gruppo 1] (Laboratorio di Metodologie didattiche attive C)
Laurea magistrale in Ingegneria e scienze informatiche Analisi dei sistemi informatici (2019/2020)   6  eLearning
Dottorato in Informatica Analisi e Verifica avanzata di programmi (2019/2020)   2  eLearning
Laurea in Informatica Linguaggi (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Analisi dei sistemi informatici (2018/2019)   6  eLearning
Laurea in Informatica Linguaggi (2018/2019)   6  eLearning (Laboratorio)
(Teoria)
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   
Laurea in Informatica Fondamenti dell'informatica (2015/2016)   6   
Laurea in Informatica Fondamenti dell'informatica (2014/2015)   6   
Laurea in Informatica Linguaggi e compilatori (2014/2015)   12    LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza dei sistemi (2014/2015)   6   
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   
Laurea in Informatica Fondamenti dell'informatica (2013/2014)   6     
Laurea in Informatica Linguaggi e compilatori (2013/2014)   12    LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza dei sistemi (2013/2014)   6   
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 Multimediale (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2007/2008)   10      Laboratorio
Laurea in Informatica (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

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 

Gruppi di ricerca

SPY
Competenze
Argomento Descrizione Area di ricerca
Analisi statica Studio di tecniche di analisi statica per linguaggi di programmazione. 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 organization and properties
Aspetti formali di sicurezza del software Sviluppo di modelli e analisi, basate su interpretazione astratta, per la verifica e l'analisi di proprietà di sicurezza di programmi. Ingegneria del Software e Sicurezza
Software and application security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Ingegneria del Software e Sicurezza
Formal methods and theory of security
Semantica di programmi Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Informatica teorica
Semantics and reasoning
Sintesi di codice Studio e sviluppo di tecniche per la sintesi di codice (o la trasformazione di codice) dalla specifica di proprietà semantiche del codice. Ingegneria del Software e Sicurezza
Software creation and management
Progetti
Titolo Data inizio
Percorsi digitali veronesi 01/04/21
Progetto di eccellenza: Informatica per Industria 4.0 01/01/18
JP2016 - Interpretazione astratta di COBOL 01/03/17
JP2014 - Analisi basata sull'interpretazione astratta dei linguaggi di scripting 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

Condividi