mastroeni
univrit
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,...).
Modules running in the period selected: 64.
Click on the module to see the timetable and course details.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
| Topic | Description | Research area |
|---|---|---|
| Static Analysis | Study of techniques for the static analysis of programming languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. |
Software Engineering and Formal Verification
Software organization and properties |
| Formal software and application security | Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. |
Cybersecurity
Software and application security |
| Code protection | Development of formal techniques and tools for the protection of software. |
Cybersecurity
Formal methods and theory of security |
| Program semantics | Development of semantic models for characterizing security and analysis problems of programming languages |
Software Engineering and Formal Verification
Semantics and reasoning |
| Office | Collegial Body |
|---|---|
| member | Faculty Board of PhD in Computer Science - Department Computer Science |
| member | Computer Science Teaching Committee - Department Computer Science |
| member | Collegio Didattico di Scienze della Formazione Primaria - Department Human Sciences |
| member | Computer Science Department Council - Department Computer Science |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>
