USENIX Security2026Top-tier venue
FIRA: Enabling Automatic Forensic Investigation of Unmanned Aerial Vehicles
Yizhi Huang, David Oygenblik, Runze Zhang, Mingxuan Yao, Muhammad Ibrahim, Burak Sahin, Haichuan Xu, Saman Zonouz, Brendan Saltaformaggio
Abstract
In dynamic environments, unmanned aerial vehicles (UAVs) often utilize online learning to refine their machine learning (ML) model's decision boundaries for improved performance. Unfortunately, when the UAV becomes irrecoverable or unavailable (e.g., a crash), a forensic investigator would be left helpless to determine if the UAV's online learning caused the crash. This paper proposes a novel forensic technique, called FIRA, that can establish causal connections from ML models to UAV system components. FIRA sends back in-flight online learning updates and telemetry data (even when bandwidth is limited) and determines whether the crash can be attributed to the online learning model. We applied FIRA to 48 UAV crash scenarios using two widely adopted UAV control programs: PX4 and ArduPilot. Across four types of UAV missions, FIRA investigated 12 accidents (each) in which a backdoored online learning model was the cause of the crash, and FIRA was able to correctly attribute the model to the crash with 95.8% accuracy.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext ff84ce98-cc44-4ef2-9432-6c3c9ac36f25Builds on16
- Manipulating Machine Learning: Poisoning Attacks and Countermeasures for Regression LearningMatthew Jagielski, Alina Oprea, Battista Biggio, Chang Liu et al.S&P 2018 · 867 citations
- ABS: Scanning Neural Networks for Back-doors by Artificial Brain StimulationYingqi Liu, Wen-Chuan Lee, Guanhong Tao, Shiqing Ma et al.CCS 2019 · 531 citations
- RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and SanitizationSushant Dinesh, Nathan Burow, Dongyan Xu, Mathias PayerS&P 2020 · 187 citations
- Superset Disassembly: Statically Rewriting x86 Binaries Without HeuristicsErick Bauman, Zhiqiang Lin, Kevin W. HamlenNDSS 2018 · 112 citations
- Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial SettingsHanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang et al.ASE 2021 · 73 citations
Related papers
- From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAYTaegyu Kim, Chung Hwan Kim, Altay Ozen, Fan Fei et al.USENIX Security 2020
- An exploratory study of autopilot software bugs in unmanned aerial vehiclesDinghua Wang, Shuqing Li, Guanping Xiao, Yepang Liu et al.FSE 2021 · 60 citations
- AI Psychiatry: Forensic Investigation of Deep Learning Networks in Memory ImagesDavid Oygenblik, Carter Yagemann, Joseph Zhang, Arianna Mastali et al.USENIX Security 2024 · 6 citations
- Online Federated Learning on Distributed Unknown Data Using UAVsXichong Zhang, Haotian Xu, Yin Xu, Mingjun Xiao et al.ICDE 2025 · 1 citation
- RVPLAYER: Robotic Vehicle Forensics by Replay with What-if ReasoningHongjun Choi, Zhiyuan Cheng, Xiangyu ZhangNDSS 2022
