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.
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 also via the Univr app.
MyUnivrDi 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 |
******** CSS e script comuni siti DOL - frase 9957 ********p>