Formal methods and theory of security

People with expertise in this area
Research interests

Mariano Ceccato: Associate Professor
Matteo Cristani: Associate 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

Research interests
Topic	People	Description
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	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	Mariano Ceccato Mila Dalla Preda Roberto Giacobazzi Isabella Mastroeni	Development of formal techniques and tools for the protection of software.