(M.Sc. 2003, Ph.D. 2008) is a researcher of the Trust, Security and Privacy group within the Institute of Informatics and Telematics of CNR. Her main research interests include formal methods for the synthesis of secure systems, analysis of data sharing in service-oriented architectures and policies on personal data privacy. Currently, the research interest is focused on Automotive Cyber-Security, with particular reference to security properties of the CAN-bus protocol and possible vulnerabilities of Android Radio. She participates in national and European projects in the field of information security, such as FP6 EU S3MS, FP7 EU CONNECT, Consequence, Aniketos, NeSSoS,CocoCloud, Artemis EU SESAMO, H2020 E-Corridor, C3ISP, PRIN TENACE and GAUSS, e-SHS