Isabella Mastroeni

Curriculum

•   Curriculum vitae   (pdf, it, 303 KB, 04/05/21)

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,...).

 

 

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

---

Presidente

• Commissione AQ Laurea triennale in Informatica - L31

Incarico come referente

Referente per l'Assicurazione della Qualità del Corso di laurea in Informatica - Informatica

Incarico come referente

Referente per la Commissione Paritetica per le Attività Culturali, Sportive e Ricreative

Isabella Mastroeni

Carica	Organo collegiale
componente	Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica
componente	Collegio Didattico di Informatica - Dipartimento Informatica
componente	Collegio Didattico di Scienze della Formazione Primaria - Dipartimento Scienze Umane
componente	Consiglio del Dipartimento di Informatica - Dipartimento Informatica