Mila Dalla Preda

Foto,  27 gennaio 2015
Qualifica
Ricercatore a tempo determinato
Settore disciplinare
INF/01 - INFORMATICA
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 47
Telefono
+39 045 802 7988
Fax
+39 045 802 7068
E-mail
mila|dallapreda*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~dallapre

Orario di ricevimento

giovedì, Ore 10.00 - 12.00,   Ca' Vignal 2, piano 1, stanza 47

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
 

Gruppi di ricerca

SPY
Competenze
Argomento Descrizione Area di ricerca
Analisi statica Studio di tecniche di analisi statica per linguaggi di programmazione. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. Ingegneria del software e sicurezza
Software and its engineering - Software organization and properties
Aspetti formali di sicurezza del software Sviluppo di modelli e analisi, basate su interpretazione astratta, per la verifica e l'analisi di proprietà di sicurezza di programmi. Ingegneria del software e sicurezza
Security and privacy - Software and application security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Semantica di programmi Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Informatica teorica
Theory of computation - Semantics and reasoning
Sintesi di codice Studio e sviluppo di tecniche per la sintesi di codice (o la trasformazione di codice) dalla specifica di proprietà semantiche del codice. Ingegneria del software e sicurezza
Software and its engineering - Software creation and management
Progetti
Titolo Data inizio
Abstract interpretation based analysis of Scripting Languages - Joint Projects 2014 01/12/14
FACE: Sconfiggere i malware in modo formale (FIRB 2013) 10/03/14
Shadowcode: code protection in .net by abstract and dynamic steganography - Joint Project 2007 12/03/09
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation 27/11/08
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) 22/09/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation 26/03/08
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006) 09/02/07




Organizzazione

Strutture del dipartimento