Mila Dalla Preda

foto-2,  March 11, 2024
E-mail
mila|dallapreda*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
December 31, 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

Modules

Modules running in the period selected: 0.
Click on the module to see the timetable and course details.


News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr
Vai al dipartimento di riferimento: Computer Science
Skills
Topic Description Research area
Static Analysis Study of techniques for the static analysis of programming languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. Software Engineering and Security
Software organization and properties
Formal software and application security Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. Software Engineering and Security
Software and application security
Code protection Development of formal techniques and tools for the protection of software. Software Engineering and Security
Formal methods and theory of security
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Theory of computation
Semantics and reasoning
Code synthesis Study and development of techniques for the synthesis of code (or code transformers) from the specification of semantic code properties. Software Engineering and Security
Software creation and management
Vai al dipartimento di riferimento: Computer Science



Referent posts held
Referente di Dipartimento per la Comunicazione - Computer Science

Other positions held
Office Collegial Body
member Faculty Board of PhD in Computer Science - Department Computer Science
member Computer Science Teaching Committee - Department Computer Science
member Collegio didattico di Matematica e Data Science - Department Computer Science
member Comitato Scientifico del Corso di aggiornamento professionale in Nuovi modelli organizzativi e tecnologici per lo smart working - Department Computer Science
Referente di Dipartimento per la Comunicazione Commissione AQ del Dipartimento di Informatica - Department Computer Science
member Commissione AQ Laurea magistrale in Ingegneria e Scienze Informatiche - LM18-32 - Computer Science Teaching Committee - Department Computer Science
member Computer Science Department Council - Department Computer Science
member QA Board of PhD in Computer Science - Faculty Board of PhD in Computer Science - Department Computer Science


© 2002 - 2024  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234