Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project
This work presents the methodology of the FORESEEN project for detecting cyber-attacks in autonomous vehicular networks. The methodology exploits co-simulation to generate the system's execution traces and formal methods to derive simple tests from traces that can be run for online monitoring services.
Authors
- Salvatore Pedone (ORCID: https://orcid.org/0000-0002-2668-1639)
- Giuseppe Lettieri (ORCID: https://orcid.org/0000-0003-1005-7441)
- Antonella Santone (ORCID: https://orcid.org/0000-0002-2634-4456)
- Alessio Bechini (ORCID: https://orcid.org/0000-0002-5951-1265)
- Christian Quadri (ORCID: https://orcid.org/0000-0002-3608-8142)
- Francesco Mercaldo (ORCID: https://orcid.org/0000-0002-9425-1657)
- Federico Rossi (ORCID: https://orcid.org/0000-0001-8293-9457)
- Vittoria Nardone (ORCID: https://orcid.org/0000-0001-7888-6620)
- Alessia Galdeman (ORCID: https://orcid.org/0000-0003-3286-4666)
- Cinzia Bernardeschi (ORCID: https://orcid.org/0000-0003-1604-4465)
- Giulia Varriano (ORCID: https://orcid.org/0000-0003-2489-6158)
- Adriano Fagiolini (ORCID: https://orcid.org/0000-0001-9943-1975)
- Alessio Vecchio (ORCID: https://orcid.org/0000-0001-6894-7338)
- Simona Correra (ORCID: https://orcid.org/0009-0007-0347-1958)
- Alessio Vivani
Institutions
- University of Pisa (IT)
- University of Molise (IT)
- University of Milan (IT)
- University of Palermo (IT)
Publication Details
- Published
- 2024-09-16
- DOI
- https://doi.org/10.1109/acsos-c63493.2024.00055
- Primary Topic
- Advanced Malware Detection Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- European Commission