Mila Dalla Preda

Foto,  January 27, 2015
Position
Temporary Assistant Professor
Academic sector
INF/01 - INFORMATICS
Research sector (ERC)
PE6_3 - Software engineering, operating systems, computer languages

Office
Ca' Vignal 2,  Floor 1,  Room 47
Telephone
+39 045 802 7988
Fax
+39 045 802 7068
E-mail
mila|dallapreda*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.sci.univr.it/~dallapre

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: 14.
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 Communication Studies Basic Information Technology SC (i) (2018/2019)   6   
Master's degree in Computer Science and Engineering Software security (2018/2019)   6    (Teoria)
(Laboratorio)
Bachelor’s degree in Communication Studies Basic Information Technology SC (i) (2017/2018)   6  eLearning
Combined Bachelor's + Master's degree in Dentistry and Dental Prosthetics Behavioural Sciences and Scientific Methodology (2017/2018)   13  eLearning INFORMATICA
Bachelor's degree in Computer Science Foundations of Computing (2017/2018)   6  eLearning
Master's degree in Computer Science and Engineering Software security (2017/2018)   6  eLearning
Bachelor’s degree in Communication Studies Basic Information Technology SC (i) (2016/2017)   6  eLearning
Combined Bachelor's + Master's degree in Dentistry and Dental Prosthetics Behavioural Sciences and Scientific Methodology (2016/2017)   13  eLearning INFORMATICA
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 Static analysis and code protection (2015/2016)   6  eLearning
Master's degree in Computer Science and Engineering Static analysis and code protection (2014/2015)   6  eLearning
Level 1 Masters in Network Planning and Management Tecniche di protezione del software (2006/2007)   5     

 

Research groups

SPY
Skills
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. Ingegneria del software e sicurezza
Software and its engineering - 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. Ingegneria del software e sicurezza
Security and privacy - Software and application security
Code protection Development of formal techniques and tools for the protection of software. Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Informatica teorica
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. Ingegneria del software e sicurezza
Software and its engineering - Software creation and management
Projects
Title Starting date
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