TY - GEN
T1 - UAV Resilience Against Stealthy Attacks
AU - Amorim, Arthur
AU - Taylor, Max
AU - Kann, Trevor
AU - Leavens, Gary T.
AU - Harrison, William L.
AU - Joneckis, Lance
N1 - Publisher Copyright:
© 2025 IEEE.
PY - 2025/5
Y1 - 2025/5
N2 - Unmanned aerial vehicles (UAVs) depend on untrusted software components to automate dangerous or critical missions, making them a desirable target for attacks. Some work has been done to prevent an attacker who has either compromised a ground control station or parts of a UAV's software from sabotaging the vehicle, but not both. We present an architecture running a UAV software stack with runtime monitoring and seL4-based software isolation that prevents attackers from both exploiting software bugs and stealthy attacks. Our architecture retrofits legacy UAVs and secures the popular MAVLink protocol, making wide adoption possible.
AB - Unmanned aerial vehicles (UAVs) depend on untrusted software components to automate dangerous or critical missions, making them a desirable target for attacks. Some work has been done to prevent an attacker who has either compromised a ground control station or parts of a UAV's software from sabotaging the vehicle, but not both. We present an architecture running a UAV software stack with runtime monitoring and seL4-based software isolation that prevents attackers from both exploiting software bugs and stealthy attacks. Our architecture retrofits legacy UAVs and secures the popular MAVLink protocol, making wide adoption possible.
KW - Integrated formal methods
KW - MAVLink
KW - Run-time monitors
KW - Sel4
UR - https://www.scopus.com/pages/publications/105007598108
U2 - 10.1109/ICUAS65942.2025.11007915
DO - 10.1109/ICUAS65942.2025.11007915
M3 - Conference contribution
AN - SCOPUS:105007598108
T3 - 2025 International Conference on Unmanned Aircraft Systems, ICUAS 2025
SP - 994
EP - 1001
BT - 2025 International Conference on Unmanned Aircraft Systems, ICUAS 2025
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2025 International Conference on Unmanned Aircraft Systems, ICUAS 2025
Y2 - 14 May 2025 through 17 May 2025
ER -