Mila Dalla Preda

Foto,  January 27, 2015
Position
Temporary Assistant Professor
Academic sector
INF/01 - INFORMATICS
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

Thursday, Hours 10:30 AM - 12:30 PM,   Ca' Vignal 2, floor 1, room 47

Curriculum

 

Research groups

SPY
Skills
Topic Description Research area
Code synthesis Ingegneria del software e sicurezza
Software and its engineering - Software creation and management
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
Protezione del software 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
Semantics Informatica teorica
Theory of computation - Semantics and reasoning
Static Analysis Study of techniques for the static analysis of object-oriented and low-level 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
Projects
Title Starting date
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