IIT Home Page CNR Home Page

Secure System Synthesis

Activities

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

People

Ilaria Matteucci

Foto di Ilaria Matteucci