Work

Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project

Year: 2024

Type: conference-paper

Abstract: 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.

Source: IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)

DOI: 10.1109/acsos-c63493.2024.00055

Authors: Cinzia Bernardeschi, Giuseppe Lettieri, Alessio Vivani, Alessio Bechini, Alessio Vecchio, Federico Rossi, Christian Quadri, Alessia Galdeman, Adriano Fagiolini, Salvatore Pedone, Antonella Santone, Vittoria Nardone, Francesco Mercaldo, Simona Correra, Giulia Varriano

Institutions: University of Pisa, University of Milan, University of Palermo, University of Molise

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: green

Funder: European Commission

Award: G7415669314

OpenAlex ID: W4404915622

FWCI:

Cites: 4

Cited by:

Related to: 10