Isabella Mastroeni

Foto,  February 3, 2016
Position
Associate Professor
Role
Professore II fascia
Academic sector
INFO-01/A - Informatics
Research sector (ERC-2024)
PE6_5 - Security, privacy, cryptology, quantum cryptography

PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

Research sector (ERC)
PE6_5 - Cryptology, security, privacy, quantum crypto

PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Office
Ca' Vignal 2,  Floor 1,  Room 88
Telephone
+39 045 802 7089
E-mail
isabella|mastroeni*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.sci.univr.it/mastroeni/

Office Hours

Su appuntamento.

Curriculum

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

Modules running in the period selected: 64.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Combined Bachelor's + Master's degree in Primary teacher education Educational Technology Laboratory (2024/2025)   3  eLearning
Bachelor's degree in Computer Science Foundations of Computing (2024/2025)   6  eLearning
Bachelor's degree in Computer Science Programming languages (2024/2025)   6  eLearning (Laboratorio)
(Teoria)
Master's degree in Computer Science and Engineering Software Analysis (2024/2025)   6  eLearning
Combined Bachelor's + Master's degree in Primary teacher education Educational Technology Laboratory (2023/2024)   3  eLearning
Bachelor's degree in Computer Science Foundations of Computing (2023/2024)   6  eLearning
Master's degree in Computer Science and Engineering Foundations of software analysis and verification (2023/2024)   6  eLearning
Bachelor's degree in Computer Science Programming languages (2023/2024)   6  eLearning (Teoria)
(Laboratorio)
PERCORSO 60 CFU CLASSE A041 Didattica dell'informatica: fondamenti e storia (2023/2024)   2  eLearning
Corso di perfezionamento e aggiornamento professionale in Frodi aziendali: individuazione, contrasto e prevenzione Frodi e diritto (2023/2024)   4    0.5  (Frodi di proprietà intellettuale, le frodi identitarie, cyber frauds parte 1)
PERCORSO 60 CFU CLASSE AA24 Informatica e tecnologia a supporto della didattica (2023/2024)   1  eLearning 0.5  (B)
Combined Bachelor's + Master's degree in Primary teacher education Educational Technology Laboratory (2022/2023)   3  eLearning
Master's degree in Computer Science and Engineering Foundations of software analysis and verification (2022/2023)   6  eLearning
Bachelor's degree in Computer Science Programming languages (2022/2023)   6  eLearning (Teoria)
(Laboratorio)
Combined Bachelor's + Master's degree in Primary teacher education Educational Technology Laboratory (2021/2022)   3  eLearning
Master's degree in Computer Science and Engineering Foundations of software analysis and verification (2021/2022)   6  eLearning
Bachelor's degree in Computer Science Programming languages (2021/2022)   6  eLearning (Teoria)
(Laboratorio)
Combined Bachelor's + Master's degree in Primary teacher education Active Teaching Methodologies and Educational Technology (2020/2021)   11  eLearning [Gruppo 1] (Laboratorio di Metodologie didattiche attive C)
[Gruppo 2] (Laboratorio di Metodologie didattiche attive C)
Master's degree in Computer Science and Engineering Foundations of software analysis and verification (2020/2021)   6  eLearning
Bachelor's degree in Computer Science Programming languages (2020/2021)   6  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Analysis of information systems (2019/2020)   6  eLearning
Bachelor's degree in Computer Science Programming languages (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
Master's degree in Computer Science and Engineering Analysis of information systems (2018/2019)   6  eLearning
Bachelor's degree in Computer Science Programming languages (2018/2019)   6  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Analysis of information systems (2017/2018)   6  eLearning
Bachelor's degree in Computer Science Programming languages (2017/2018)   6  eLearning
Master's degree in Computer Science and Engineering Analysis of information systems (2016/2017)   6  eLearning
Bachelor's degree in Computer Science Foundations of Computing (2016/2017)   6  eLearning
Master's degree in Computer Science and Engineering Software security (2016/2017)   6  eLearning
Master's degree in Computer Science and Engineering Analysis of information systems (2015/2016)   6   
Bachelor's degree in Computer Science Foundations of Computing (2015/2016)   6   
Bachelor's degree in Computer Science Foundations of Computing (2014/2015)   6   
Bachelor's degree in Computer Science Languages and compilers (2014/2015)   12    LINGUAGGI
Master's degree in Computer Science and Engineering Systems security (2014/2015)   6   
Master's degree in Computer Science and Engineering Advanced Compilers (2013/2014)   6   
Bachelor's degree in Computer Science Foundations of Computing (2013/2014)   6     
Bachelor's degree in Computer Science Languages and compilers (2013/2014)   12    LINGUAGGI
Master's degree in Computer Science and Engineering Static analysis and code protection (2013/2014)   6     
Master's degree in Computer Science and Engineering Systems security (2013/2014)   6   
Master's degree in Computer Science and Engineering Advanced Compilers (2012/2013)   6   
Bachelor's degree in Computer Science Languages and compilers (2012/2013)   12    LINGUAGGI
Master's degree in Computer Science and Engineering Systems security (2012/2013)   6   
Master's degree in Computer Science and Engineering Systems security (2011/2012)   6   
Master's degree in Computer Science and Engineering Systems security (2010/2011)   6   
Master's degree in Computer Science and Engineering Systems security (2009/2010)   6   
Masters in Computer Science Computational Complexity (2008/2009)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2007/2008)   10      Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Algorithms and Data Structures (2007/2008)   10      Laboratorio
Masters in Computer Science Computational Complexity (2007/2008)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2006/2007)   10    Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Algorithms and Data Structures (2006/2007)   10    Laboratorio
Masters in Computer Science Computational Complexity (2006/2007)   5   
Level 1 Masters in Network Planning and Management Protocolli e ambienti per la sicurezza (2006/2007)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2005/2006)   10    Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Algorithms and Data Structures (2005/2006)   10    Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming [Cognomi A-P] (2005/2006)   12    Laboratorio

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 also via the Univr app.

MyUnivr

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Research groups

SPY
Research interests
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
Projects
Title Starting date
Novel Methodologies and Tools for Next Generation Cyber Ranges - NOMEN 5/21/24
PRIN PNRR 2022 - Resource Awareness in Programming: Algebra, Rewriting, and Analysis 11/30/23
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




Organization

Department facilities

Share