Mila Dalla Preda

  1. Home
  2. Dipartimento
  3. Persone
  4. Mila Dalla Preda
foto-2, 11 marzo 2024
Qualifica
Professore associato
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_5 - Security, privacy, cryptology, quantum cryptography

PE6_3 - Software engineering, programming languages and systems

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.scienze.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: 45.
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 (2024/2025)   6  eLearning 5  (Teoria)
Laurea magistrale in Data Science (LM Data) Data security & privacy (2024/2025)   6    2 
Laurea magistrale in Ingegneria e scienze informatiche Fondamenti di linguaggi di programmazione e specifica (2024/2025)   12  eLearning 3  (Teoria)
Laurea magistrale in Diritto per le tecnologie e l'innovazione sostenibile Nuove tecnologie e gestione dei dati (2024/2025)   12    6  TECNOLOGIE INFORMATICHE
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza del software (2024/2025)   6    1  (Laboratorio)
5  (Teoria)
Laurea in Informatica Compilatori (2023/2024)   6  eLearning 5  (Teoria)
Laurea magistrale in Data Science Data security & privacy (2023/2024)   6  eLearning 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 Bioinformatica Tutela dei beni immateriali (SW e invenzione) tra diritto industriale e diritto d’autore (2023/2024)   3  eLearning 3 
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)
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 2  (Laboratorio)
4  (Teoria)
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 2  (Laboratorio)
4  (Teoria)
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 anche tramite l'app Univr.

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.

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. Sicurezza informatica
Software organization and properties
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 verifica formale
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. Sicurezza informatica
Software and application security
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 verifica formale
Software and application security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Sicurezza informatica
Formal methods and theory of security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Ingegneria del Software e verifica formale
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. Algebra, Geometria e Logica Matematica
Semantics and reasoning
Semantica di programmi Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Algoritmi, Logica e teoria della computazione
Semantics and reasoning
Semantica di programmi Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Ingegneria del Software e verifica formale
Semantics and reasoning
Progetti
Titolo Data inizio
In search of evidence of stealth cyber threats - COVERT 01/06/24
ODIN - AFOSR USA: ABSTRACT INTERPRETATION DRIVEN PROGRAMMING LANGUAGES 15/09/23
Threat data analysis 06/06/23
JP2019 - BinTrace: Analisi di Similarità di codice binario basata sulle tracce di esecuzione 01/10/20
Software Watermarking 10/06/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