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
A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles Bernardeschi, C., Palmieri, M., Sanguinetti, M., Vivani, A. (2025). In: Kocian, A., Milazzo, P., Henriques Martins, A.L., Nanni, M., Pappalardo, L. (eds) Intelligent Transport Systems. INTSYS 2024. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 608. Springer, Cham. https://doi.org/10.1007/978-3-031-86370-7_24 — (Slides here)
Impact of Network Delays on Edge-Assisted Platooning Systems in 5G Networks: Addressing Latency Challenges Quadri, C., Pedone, S., Fagiolini, A. (2025). In: Kocian, A., Milazzo, P., Henriques Martins, A.L., Nanni, M., Pappalardo, L. (eds) Intelligent Transport Systems. INTSYS 2024. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 608. Springer, Cham. https://doi.org/10.1007/978-3-031-86370-7_23 — (Slides here)
A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking Correra, S., Sorgente, V., Varriano, G., Nardone, V., Mercaldo, F., Santone, A. (2025). In: Kocian, A., Milazzo, P., Henriques Martins, A.L., Nanni, M., Pappalardo, L. (eds) Intelligent Transport Systems. INTSYS 2024. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 608. Springer, Cham. https://doi.org/10.1007/978-3-031-86370-7_25 — (Slides here)