Formal methods and theory of security

Persone con competenze nell'area
Competenze

Mariano Ceccato: Professore associato
Matteo Cristani: Professore associato
Mila Dalla Preda: Professore ordinario
Roberto Giacobazzi: Professore ordinario

Isabella Mastroeni: Professore associato
Massimo Merro: Professore ordinario
Michele Pasqua: Ricercatore a tempo determinato
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	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 Michele Pasqua	Sviluppo di tecniche formali e strumenti per la protezione del software.