Formal methods and theory of security

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.

Attività

Strutture

Condividi