- 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 of 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 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.