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: 58.
Click on the module to see the timetable and course details.
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| 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 Security
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. |
Software Engineering and Security
Software and application security |
| Code protection | Development of formal techniques and tools for the protection of software. |
Software Engineering and Security
Formal methods and theory of security |
| Program semantics | Development of semantic models for characterizing security and analysis problems of programming languages |
Theory of computation
Semantics and reasoning |
| Code synthesis | Study and development of techniques for the synthesis of code (or code transformers) from the specification of semantic code properties. |
Software Engineering and Security
Software creation and management |
| 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 |
© 2023 | Verona University
CSS e script comuni siti DOL - frase 9957
