Topics


Descrpition (in Italian)

Sono disponibili, solo per le lauree magistrali ed il dottorato di ricerca, tesi di ricerca teoriche e di progetto sperimentale, e 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. La tesi su questi argomenti ha come prerequisito un percorso di studi magistrale in Informatica, Ingegneria e Scienze Informatiche (indirizzo Ingegneria del Sw e Sicurezza) o Matematica. Le tesi si svolgono nell'ambito del laboratorio SPY. L'accesso al laboratorio è riservato esclusivamente ai tesisti e dottorandi. A tal proposito si veda la composzione del gruppo di ricerca.