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

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr

 

Projects

Title	Starting date
Percorsi digitali veronesi	4/1/21
Computer Engineering for Industry 4.0	1/1/18
Abstract Interpretation of COBOL	3/1/17
Abstract interpretation based analysis of Scripting Languages - Joint Projects 2014	12/1/14
Static analysis methods for the static derivation	6/5/13
Security Horizons	2/1/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)	7/15/11
Shadowcode: code protection in .net by abstract and dynamic steganography - Joint Project 2007	3/12/09
Analisi du NUllness via weB Interattivo (ANUBI) - Joint Projects 2009	2/1/09
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation	11/27/08
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007)	9/22/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation	3/26/08
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006)	2/9/07
Abstract interpretation and model checking for the verification of embedded systems	2/21/03
(CoVer) Constraint-based Verification of Reactive systems	12/1/02
Abstraction for verification	6/1/02
Abstract Interpretation, type systems and control-flow analysis	11/26/00

---

Chair

• Commissione AQ Laurea triennale in Informatica - L31

Referent posts held

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

Referent posts held

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

Isabella Mastroeni

Office	Collegial Body
member	PhD Commitee - Department Computer Science
member	Computer Science Teaching Committee - Department Computer Science
member	Collegio Didattico di Scienze della Formazione Primaria - Department Human Sciences
Referente AQ Ricerca	Commissione AQ del Dipartimento di Informatica - Department Computer Science
member	Computer Science Department Council - Department Computer Science