Mila Dalla Preda

  1. Home
  2. Department
  3. People
  4. Mila Dalla Preda
foto-2, March 11, 2024
Position
Associate Professor
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

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

PE6_3 - Software engineering, operating systems, computer languages

Office
Ca' Vignal 2,  Floor 1,  Room 47
E-mail
mila|dallapreda*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.scienze.univr.it/~dallapreda

Office Hours

Su appuntamento da concordare per mail

Curriculum

Mila Dalla Preda si occupa di:
- Studio e sviluppo di soluzioni software per la protezione della proprietà intellettuale e l'integrità del codice. In particolare tecniche di offuscamento del codice, tecniche di marcatura/firma del codice (sw watermarking) e tecniche di identificazione di violazioni del codice (tamper proofing)
- Studio e progettazione di strumenti automatici per il riconoscimento di comportamenti malevoli sfruttando proprietà semantiche del codice
- Studio e progettazione di strumenti automatici per l'analisi di similartà del codice seguendo sia approcci statici che dinamici. 
- Studio del comportamento di codici auto-modificanti, ovvero che cambiano durante l'esecuzione

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Compilers (2024/2025)   6  eLearning 5  (Teoria)
Master's degree in Data Science Data Security & Privacy (2024/2025)   6    2 
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2024/2025)   12  eLearning 3  (Teoria)
Master's degree in Law for Technologies and Sustainable Innovation New technologies and data management (2024/2025)   12    6  TECNOLOGIE INFORMATICHE
Master's degree in Computer Science and Engineering Software Security (2024/2025)   6    1  (Laboratorio)
5  (Teoria)
Bachelor's degree in Computer Science Compilers (2023/2024)   6  eLearning 5  (Teoria)
Master's degree in Data Science Data Security & Privacy (2023/2024)   6  eLearning 2 
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2023/2024)   12  eLearning 3  (Teoria)
Master's degree in Law for Technologies and Sustainable Innovation New technologies and data management (2023/2024)   12  eLearning 6  TECNOLOGIE INFORMATICHE
Bachelor's degree in Bioinformatics Protection of intangible assets (SW and invention)between industrial law and copyright (2023/2024)   3  eLearning 3 
Master's degree in Computer Science and Engineering Sicurezza del Software (2023/2024)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Bachelor's degree in Computer Science Compilers (2022/2023)   6  eLearning 5 
Master's degree in Data Science Data Security & Privacy (2022/2023)   6  eLearning 2 
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2022/2023)   12  eLearning 3  (Teoria)
Master's degree in Computer Science and Engineering Sicurezza del Software (2022/2023)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Bachelor's degree in Computer Science Compilers (2021/2022)   6  eLearning 5 
Master's degree in Data Science Data Security & Privacy (2021/2022)   6  eLearning 2 
Master's degree in Computer Science and Engineering Foundations of programming and specification languages (2021/2022)   12  eLearning 3  (Teoria)
Master's degree in Computer Science and Engineering Sicurezza del Software (2021/2022)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Bachelor's degree in Computer Science Compilers (2020/2021)   6  eLearning 6 
Master's degree in Data Science Data Security & Privacy (2020/2021)   6  eLearning 3  (Teoria)
Master's degree in Computer Science and Engineering Software security (2020/2021)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Bachelor’s degree in Communication Studies Basic Information Technology SC (i) (2019/2020)   6  eLearning 6 
Combined Bachelor's + Master's degree in Dentistry and Dental Prosthetics Behavioural Sciences and Scientific Methodology (2019/2020)   13  eLearning 4  INFORMATICA
Master's degree in Computer Science and Engineering Software security (2019/2020)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor’s degree in Communication Studies Basic Information Technology SC (i) (2018/2019)   6  eLearning 6 
Master's degree in Computer Science and Engineering Software security (2018/2019)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor’s degree in Communication Studies Basic Information Technology SC (i) (2017/2018)   6  eLearning 6 
Combined Bachelor's + Master's degree in Dentistry and Dental Prosthetics Behavioural Sciences and Scientific Methodology (2017/2018)   13  eLearning 4  INFORMATICA
Bachelor's degree in Computer Science Foundations of Computing (2017/2018)   6  eLearning 2 
Master's degree in Computer Science and Engineering Software security (2017/2018)   6  eLearning 4 
Bachelor’s degree in Communication Studies Basic Information Technology SC (i) (2016/2017)   6  eLearning 6 
Combined Bachelor's + Master's degree in Dentistry and Dental Prosthetics Behavioural Sciences and Scientific Methodology (2016/2017)   13  eLearning 4  INFORMATICA
Bachelor's degree in Computer Science Foundations of Computing (2016/2017)   6  eLearning 1 
Master's degree in Computer Science and Engineering Software security (2016/2017)   6  eLearning 4 
Master's degree in Computer Science and Engineering Static analysis and code protection (2015/2016)   6    5 
Master's degree in Computer Science and Engineering Static analysis and code protection (2014/2015)   6    6 
Level 1 Masters in Network Planning and Management Tecniche di protezione del software (2006/2007)   5     

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. Cybersecurity
Software organization and properties
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
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 Formal Verification
Software and application security
Code protection Development of formal techniques and tools for the protection of software. Cybersecurity
Formal methods and theory of security
Code protection Development of formal techniques and tools for the protection of software. Software Engineering and Formal Verification
Formal methods and theory of security
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Algebra, Geometry, and Mathematical Logic
Semantics and reasoning
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Algorithms, Logic, and Theory of Computing
Semantics and reasoning
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
In search of evidence of stealth cyber threats - COVERT 6/1/24
ODIN - AFOSR USA: ABSTRACT INTERPRETATION DRIVEN PROGRAMMING LANGUAGES 9/15/23
Threat data analysis 6/6/23
BinTrace: Binary Similarity Analysis based on Execution Traces 10/1/20
Software Watermarking 6/10/20
The SMArt LAbel as a guarantee tool in the WInery-customer trust relationship for Venetian high quality Pgi wines) SMA.LA.WI 4/1/19
Big-code early threat detection by approximate similarity analysis 3/1/17
Abstract interpretation based analysis of Scripting Languages - Joint Projects 2014 12/1/14
FACE: Sconfiggere i malware in modo formale (FIRB 2013) 3/10/14
Shadowcode: code protection in .net by abstract and dynamic steganography - Joint Project 2007 3/12/09
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation 11/27/08
Analisi e protezione del software mediante interpretazione astratta (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



Organization

Department facilities

Share