IIT Home Page CNR Home Page

Secure System Synthesis


Formal methods for security analysis of ICT systems

This line of research includes the design and the development of models, methodologies and tools for the analysis, verification, and simulation of the security and trust properties of complex commu


Ilaria Matteucci

Foto di Ilaria Matteucci