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. |
******** CSS e script comuni siti DOL - frase 9957 ********p>