Formal methods and theory of security

Matteo Cristani
Assistant Professor
Mila Dalla Preda
Associate Professor
Alessandra Di Pierro
Associate Professor
Roberto Giacobazzi
Full Professor
Isabella Mastroeni
Associate Professor
Massimo Merro
Full Professor
Roberto Segala
Full Professor
Luca Vigano'
Research Assistants
Research interests
Topic People Description
Formal methods and theory of security Matteo Cristani
Roberto Segala
Luca Vigano'
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
Development of formal, and possibly automated, methods for the security analysis of cyber-physical systems and IoT systems
Probabilistic Analysis of Security Alessandra Di Pierro
Roberto Segala
Static analysis of approximate security properties via Probabilistic Abstract Interpretation
Code protection Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Luca Vigano'
Development of formal techniques and tools for the protection of software.

Activities

Research facilities