Ilaria Matteucci is researcher at the National Research Council (CNR), Trustworty and Secure Future Internet (TSFI) and the Istituto di Informatica e Telematica (IIT). Her main research interest mainly concerns the study of process algebra based techniques for run-time enforcement of security properties in such a way that considered systems, ranging from distributed systems to web services, will be secure. Furthermore, she deals with formal models for security by focusing on synthesis of secure systems and controllers In particular my research activities are on the following topics: