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: Full Professor
Roberto Giacobazzi: Full Professor

Isabella Mastroeni: Associate Professor
Massimo Merro: Full Professor
Michele Pasqua: Temporary Assistant 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	Roberto Segala	Static analysis of approximate security properties via Probabilistic Abstract Interpretation
Code protection	Mariano Ceccato Mila Dalla Preda Roberto Giacobazzi Isabella Mastroeni Michele Pasqua	Development of formal techniques and tools for the protection of software.