D4+: Emergent Adversarial Driving Maneuvers with Approximate Functional Optimization
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866918025809100800 |
|---|---|
| author | Barbosa, Diego Ortiz Burbano, Luis Hernandez, Carlos Lei, Zengxiang Park, Younghee Ukkusuri, Satish Cardenas, Alvaro A |
| author_facet | Barbosa, Diego Ortiz Burbano, Luis Hernandez, Carlos Lei, Zengxiang Park, Younghee Ukkusuri, Satish Cardenas, Alvaro A |
| contents | Intelligent mechanisms implemented in autonomous vehicles, such as proactive driving assist and collision alerts, reduce traffic accidents. However, verifying their correct functionality is difficult due to complex interactions with the environment. This problem is exacerbated in adversarial environments, where an attacker can control the environment surrounding autonomous vehicles to exploit vulnerabilities.
To preemptively identify vulnerabilities in these systems, in this paper, we implement a scenario-based framework with a formal method to identify the impact of malicious drivers interacting with autonomous vehicles. The formalization of the evaluation requirements utilizes metric temporal logic (MTL) to identify a safety condition that we want to test. Our goal is to find, through a rigorous testing approach, any trace that violates this MTL safety specification. Our results can help designers identify the range of safe operational behaviors that prevent malicious drivers from exploiting the autonomous features of modern vehicles. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_13942 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | D4+: Emergent Adversarial Driving Maneuvers with Approximate Functional Optimization Barbosa, Diego Ortiz Burbano, Luis Hernandez, Carlos Lei, Zengxiang Park, Younghee Ukkusuri, Satish Cardenas, Alvaro A Cryptography and Security Intelligent mechanisms implemented in autonomous vehicles, such as proactive driving assist and collision alerts, reduce traffic accidents. However, verifying their correct functionality is difficult due to complex interactions with the environment. This problem is exacerbated in adversarial environments, where an attacker can control the environment surrounding autonomous vehicles to exploit vulnerabilities. To preemptively identify vulnerabilities in these systems, in this paper, we implement a scenario-based framework with a formal method to identify the impact of malicious drivers interacting with autonomous vehicles. The formalization of the evaluation requirements utilizes metric temporal logic (MTL) to identify a safety condition that we want to test. Our goal is to find, through a rigorous testing approach, any trace that violates this MTL safety specification. Our results can help designers identify the range of safe operational behaviors that prevent malicious drivers from exploiting the autonomous features of modern vehicles. |
| title | D4+: Emergent Adversarial Driving Maneuvers with Approximate Functional Optimization |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2505.13942 |