Mila Dalla Preda

foto-2,  11 marzo 2024
E-mail
mila|dallapreda*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
31 dicembre 2022
Note
 
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: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.


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
Vai al dipartimento di riferimento: Informatica
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
Vai al dipartimento di riferimento: Informatica



Incarico come referente
Referente di Dipartimento per la Comunicazione - Informatica

Altri incarichi
Carica Organo collegiale
componente Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica
componente Collegio Didattico di Informatica - Dipartimento Informatica
componente Collegio didattico di Matematica e Data Science - Dipartimento Informatica
componente Comitato Scientifico del Corso di aggiornamento professionale in Nuovi modelli organizzativi e tecnologici per lo smart working - Dipartimento Informatica
Referente di Dipartimento per la Comunicazione Commissione AQ del Dipartimento di Informatica - Dipartimento Informatica
componente Commissione AQ Laurea magistrale in Ingegneria e Scienze Informatiche - LM18-32 - Collegio Didattico di Informatica - Dipartimento Informatica
componente Consiglio del Dipartimento di Informatica - Dipartimento Informatica
componente Gruppo AQ Dottorato in Informatica - Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica


© 2002 - 2024  Università degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234