Attacks Detection in Cyber-Physical Systems with Neural Networks: A Case Study Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, and Alessio Vivani (University of Pisa, Italy) TrustAICyberSec 2024 (International Workshop on Trusted Computing and Artificial Intelligence applied to Cybersecurity), co-located with 29th IEEE Symposium on Computers and Communications (ISCC), ESIEE Paris, Université Gustave Eiffel, 26-29 June 2024. Slides here
Formal Methods for Attack Detection in Autonomous Driving Systems: the FORESEEN project Cinzia Bernardeshi, Giuseppe Lettieri , Alessio Vivani , Alessio Bechini , Alessio Vecchio , Federico Rossi (University of Pisa, Italy), Christian Quadri , Alessia Galdeman (University of Milan, Italy), Adriano Fagiolini, Salvatore Pedone (University of Palermo, Italy), Antonella Santone, Vittoria Nardone, Francesco Mercaldo, Simona Correra, Giulia Varriano (University of Molise, Italy) ACSOS 2024 (5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems) Poster Session, University of Aarhus, Denmark, 16-20 September 2024. Poster here
Statistical Model Checking of Cooperative Autonomous Driving Systems Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi (University of Pisa, Italy) ReoCAS 2024 (Rigorous Engineering of Collective Adaptive Systems), co-located with ISoLA Symposium 2024, Creta, 27-31 October 2024. Accepted