Formal methods and theory of security

Persone con competenze nell'area
Competenze

Mariano Ceccato: Professore associato
Matteo Cristani: Professore associato
Mila Dalla Preda: Professore associato
Alessandra Di Pierro: Professore associato

Roberto Giacobazzi: Professore ordinario
Isabella Mastroeni: Professore associato
Massimo Merro: Professore ordinario
Roberto Segala: Professore ordinario

Competenze
Argomento	Persone	Descrizione
Formal methods and theory of security	Matteo Cristani Roberto Segala	Development of formal, and possibly automated, methods for the analysis of the security of software systems
Formal methods for security analysis of cyber-physical systems	Massimo Merro	Metodi formali per lo sviluppo di strumenti di verifica formali e automatici in grado di verificare la sicurezza di sistemi ciberfisici e sistemi IoT
Probabilistic Analysis of Security	Alessandra Di Pierro Roberto Segala	Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica
Protezione del software	Mariano Ceccato Mila Dalla Preda Roberto Giacobazzi Isabella Mastroeni	Sviluppo di tecniche formali e strumenti per la protezione del software.