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 running in the period selected: 33.
Click on the module to see the timetable and course details.
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 |