Isabella Mastroeni

Foto,  February 3, 2016
Position
Associate Professor
Role
Professore II fascia
Academic sector
INF/01 - INFORMATICS
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
+390458027089
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: 58.
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 (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)
Master's degree in Computer Science and Engineering Software Analysis (2023/2024)   6   
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 (Laboratorio)
(Teoria)
PhD in Computer Science Advanced program analysis and verification (2019/2020)   2  eLearning
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 (Laboratorio)
(Teoria)
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's degree in Multimedia Information Technology (until 2008-2009) Algorithms and Data Structures (2007/2008)   10      Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) 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 soon also via the Univr app.

MyUnivr
 

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 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
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




Organization

Department facilities

Share