Military Embedded Systems

Cyber - All Articles

News
Cybersecurity the focus of DARPA Resilient Software program

June 19, 2025

ARLINGTON, Va. The Defense Advanced Research Projects Agency (DARPA) is teaming with the U.S. Air Force to integrate formal methods-based cybersecurity tools -- a mathematically rigorous approach to software development that helps eliminate exploitable vulnerabilities before software is deployed -- on the MQ-9 Reaper, the first project in the DARPA Resilient Software Systems Capstone program.