Search NASA⌕ Search
Home/Archive/DOE OSTI

DOE OSTI · 2997795

UAV Resilience Against Stealthy Attacks

Amorim, Arthur [Idaho National Laboratory]·Taylor, Max [Idaho National Laboratory]·Kann, Trevor Grant [Idaho National Laboratory]·Leavens, Gary [The University of Central Florida]·Harrison, Bill [Idaho National Laboratory]·Joneckis, Lance Gregory [Idaho National Laboratory]
View original source ↗Read source document ↗Export metadata ↓

Abstract

Unmanned aerial vehicles (UAVs) depend on software components to automate dangerous or critical missions; these components are then a desirable target for adversaries seeking to sabotage the UAV. 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 utilizing stealthy attacks. Our architecture retrofits legacy UAVs and secures the popular MAVLink protocol, making it widely applicable for UAVs to adopt.

Explore related subjects

42 - ENGINEERING97 - MATHEMATICS AND COMPUTINGDynamic type checkingIntegrated formal methodsMAVLinkseL4

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Amorim, Arthur [Idaho National Laboratory], Taylor, Max [Idaho National Laboratory], Kann, Trevor Grant [Idaho National Laboratory], Leavens, Gary [The University of Central Florida], Harrison, Bill [Idaho National Laboratory], Joneckis, Lance Gregory [Idaho National Laboratory]. 2025-05-21. UAV Resilience Against Stealthy Attacks. https://www.osti.gov/biblio/2997795

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

DOE OSTI2026

Simulating Thermoelectric Devices Using the MOOSE Framework

Thermoelectric generators (TEG) are devices that generate energy by converting heat into electricity or provide cooling via the Peltier effect. This feature of thermoelectric devices originates from the Seebeck, Peltier, Thomson, and Joule heating effects. TEGs can be applied in energy and thermal management systems such as waste heat recovery and refrigeration, respectively. Thermoelectric device design is influenced by the material selection and the device's geometry operating conditions. Therefore, predicting, verifying, and validating thermoelectric device performance using simulations tools is essential to deploying thermoelectric devices in industry. The Multiphysics Object-Oriented Simulation Environment (MOOSE) Framework is an open-source simulation tool capable of modeling simple to complex systems. In this work, we demonstrate MOOSE's thermoelectric device modeling capabilities by simulating a unicouple, module, and exhaust gas recovery system. The Seebeck, Peltier, Thomson, and Joule heating physics are implemented into MOOSE. The MOOSE thermoelectric physics were thoroughly verified and validated using published COMSOL® results and experimental data. In addition, thermoelectric modules were integrated into an exhaust gas recovery system using the MOOSE MultiApp function as a demonstration of the model's ability. The verification and validation results and exhaust gas heat recovery system showcases MOOSE's capability to model thermoelectric devices and integrate these devices into practical energy systems.

42 - ENGINEERING↗
DOE OSTI2026

Validation of OpenPronghorn for Periodic Hill Flow Separation

OpenPronghorn is an open-source, MOOSE-based thermal-hydraulics simulation tool used for advanced reactor analysis. As an open-source code, it offers a transparent framework for validating governing equations, assumptions, and numerical methods against established benchmarks. This study evaluates OpenPronghorn's RANS turbulence model against the ERCOFTAC Case 81 periodic hill benchmark, a standard test case for separated turbulent flow featuring curved-wall separation, recirculation, shear-layer development, and reattachment. Streamwise velocity profiles predicted by OpenPronghorn were compared to reference LES data at multiple x/h locations. Results show that OpenPronghorn captures the overall trend of the velocity profiles, but the largest discrepancies occur in the separated-flow region, where turbulence is highly anisotropic and strongly affected by adverse pressure gradients and wall curvature—conditions that are inherently difficult for standard RANS models to resolve. Future work will test alternative k-e model variants and correction terms to improve prediction accuracy in this region.

42 - ENGINEERING↗
DOE OSTI2026

XAFS Analysis Report

X-ray absorption spectroscopy (XAS) measurements were performed using a laboratory-based easyXAFS 300+ spectrometer. The XAFS data shows predominantly metallic phases.

42 - ENGINEERING↗