- Abstract Interpretation and its Wiki;
- Abstract Model checking;
- Language-based security;
- Code verification and analysis;
- Intrusion Detection Systems;
- Computer Virus Research and Defense
- Digital Asset Protection by obfuscation and watermarking;
- Computability;
- Robustness in Machine Learning;
- Lattice theory.
Descrpition (in English)
Theoretical and applied research theses, or even implementation theses, are available only for the master's degrees and the PhDs. Some theses can be made in collaboration with other professors of the Computer Science Department. Most of the available theses concern the study of methods for the approximation of undecidable properties of programs or whose complexity is too high to make their verification automatable. The theses are oriented to theoretical and / or experimental applications in the field of static program analysis, automatic verification of HW and SW systems, automatic certification, safety of safety-critical systems, computer security with particular emphasis on: malware detection and code protection through SW watermarking and code obfuscation, and on the verification of robustness in systems based on Machine Learning. The thesis on these topics has as a prerequisite a degree course in Computer Science, Engineering and Computer Science or Mathematics. Theses can be made within the SPY laboratory. Access to the laboratory is reserved exclusively for theses and doctoral students.
Descrpition (in Italian)
Sono disponibili, solo per le lauree magistrali ed il dottorato di ricerca, tesi di ricerca teoriche ed applicate, o anche solo tesi implementative. Alcune tesi possono essere svolte in collaborazione con altri docenti dell Dipartimento di Informatica. La maggior parte delle tesi disponibili riguardano lo studio di metodi per l'approssimazione di proprietà di programmi indecidibili o la cui complessità risulta troppo alta per rendere la loro verifica automatizzabile. Le tesi sono orientate ad applicazioni teoriche e/o sperimentali nell'ambito dell'analisi statica, della verifica automatica di sistemi HW e SW, della certificazione automatica, della sicurezza di sistemi safety-critical, della sicurezza informatica con particolare enfasi su: malware detection e protezione del codice mediante SW watermarking e code obfuscation, e sulla verifica di robustezza in sistemi basati su Machine Learning. La tesi su questi argomenti ha come prerequisito un percorso di studi magistrale in Informatica, Ingegneria e Scienze Informatiche o Matematica. Le tesi si svolgono nell'ambito del laboratorio SPY. L'accesso al laboratorio è riservato esclusivamente a tesisti e dottorandi.