Mila Dalla Preda

  1. Home
  2. Dipartimento
  3. Persone
  4. Mila Dalla Preda
Foto, 27 gennaio 2015
Qualifica
Professore associato
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_5 - Cryptology, security, privacy, quantum crypto

PE6_3 - Software engineering, operating systems, computer languages

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 47
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/~dallapreda

Orario di ricevimento

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

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 39.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Compilatori (2023/2024)   6  eLearning 5  (Teoria)
Laurea magistrale in Data Science Data security & privacy (2023/2024)   6    2 
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2023/2024)   12  eLearning 3  (Teoria)
Laurea magistrale in Diritto per le tecnologie e l'innovazione sostenibile Nuove tecnologie e gestione dei dati (2023/2024)   12  eLearning 6  TECNOLOGIE INFORMATICHE
Laurea magistrale in Ingegneria e scienze informatiche Software security (2023/2024)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Laurea in Informatica Compilatori (2022/2023)   6  eLearning 5 
Laurea magistrale in Data Science Data security & privacy (2022/2023)   6  eLearning 2 
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2022/2023)   12  eLearning 3  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Software security (2022/2023)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Laurea in Informatica Compilatori (2021/2022)   6  eLearning 5 
Laurea magistrale in Data Science Data security & privacy (2021/2022)   6  eLearning 2 
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2021/2022)   12  eLearning 3  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Software security (2021/2022)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Laurea in Informatica Compilatori (2020/2021)   6  eLearning 6 
Laurea magistrale in Data Science Data security & privacy (2020/2021)   6  eLearning 3  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza del software (2020/2021)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning 1 
Laurea in Scienze della comunicazione Informatica di base SC (i) (2019/2020)   6  eLearning 6 
Laurea magistrale a ciclo unico in Odontoiatria e protesi dentaria Scienze comportamentali e metodologia scientifica (2019/2020)   13  eLearning 4  INFORMATICA
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza del software (2019/2020)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Laurea in Scienze della comunicazione Informatica di base SC (i) (2018/2019)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza del software (2018/2019)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Laurea in Informatica Fondamenti dell'informatica (2017/2018)   6  eLearning 2 
Laurea in Scienze della comunicazione Informatica di base SC (i) (2017/2018)   6  eLearning 6 
Laurea magistrale a ciclo unico in Odontoiatria e protesi dentaria Scienze comportamentali e metodologia scientifica (2017/2018)   13  eLearning 4  INFORMATICA
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza del software (2017/2018)   6  eLearning 4 
Laurea in Informatica Fondamenti dell'informatica (2016/2017)   6  eLearning 1 
Laurea in Scienze della comunicazione Informatica di base SC (i) (2016/2017)   6  eLearning 6 
Laurea magistrale a ciclo unico in Odontoiatria e protesi dentaria Scienze comportamentali e metodologia scientifica (2016/2017)   13  eLearning 4  INFORMATICA
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza del software (2016/2017)   6  eLearning 4 
Laurea magistrale in Ingegneria e scienze informatiche Analisi statica e protezione (2015/2016)   6    5 
Laurea magistrale in Ingegneria e scienze informatiche Analisi statica e protezione (2014/2015)   6    6 
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Tecniche di protezione del software (2006/2007)   5     

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 

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 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
Software and application security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Ingegneria del Software e Sicurezza
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
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 creation and management
Progetti
Titolo Data inizio
JP2019 - BinTrace: Analisi di Similarità di codice binario basata sulle tracce di esecuzione 01/10/20
The SMArt LAbel as a guarantee tool in the WInery-customer trust relationship for Venetian high quality Pgi wines) SMA.LA.WI 01/04/19
JP2016 - Determinazione anticipata di minacce mediante analisi approssimata di similarità in big-code 01/03/17
JP2014 - Analisi basata sull'interpretazione astratta dei linguaggi di scripting 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

Condividi