Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. - Cinzia Bernardeschi; Giuseppe Lettieri; Alessio Vivani; Alessio Bechini; Alessio Vecchio; Federico Rossi 003; Christian Quadri; Alessia Galdeman; Adriano Fagiolini; Salvatore Pedone; Antonella Santone; Vittoria Nardone; et al. (ACSOS-C, 2024)

A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles. - Cinzia Bernardeschi; Maurizio Palmieri; Marta Sanguinetti; Alessio Vivani (INTSYS, 2024)

Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. - Cinzia Bernardeschi; Gianluca Dini; Maurizio Palmieri; Alessio Vivani (ISCC, 2024)