Riverside Research and Anduril Collaborate to Cyber Harden Critical Defense Capabilities

WASHINGTON, June 17, 2025 /PRNewswire/ -- Today, Riverside Research, a national security nonprofit serving the Department of Defense and Intelligence Community, and Anduril Industries announced a collaboration to apply Defense Advanced Research Project Agency's (DARPA) formal methods technologies to further protect Anduril's Lattice software platform and other critical supporting capabilities from cyber attacks. The partnership is a pioneering effort to permanently eliminate a subset of cyber vulnerabilities at the tactical edge, and ensures that national security agencies and warfighters have the secure, reliable, cyber-hardened systems they need to complete their missions.

The collaboration between Riverside Research and Anduril represents a leading effort in the defense industrial base focused on transitioning formal methods-based processes from the lab to the field, safeguarding the Department of Defense's most critical warfighter applications from adversary cyber attacks. Formal methods are mathematically rigorous techniques for specifying, developing, analyzing, and verifying software and hardware systems. More specifically, formal methods mathematically prove that software code is incorruptible and will only behave as designed, systematically eliminating a class of vulnerabilities in connected capabilities that could otherwise be exploited once they come into contact with adversary networks.

"Riverside Research has a strong commitment to leading formal methods research that encourages a deeper understanding of the system, leading to higher quality software by identifying and eliminating ambiguities and errors at an earlier, less costly stage," said Rob Denz, Vice President of the Open Innovation Center at Riverside Research. "However, the critical measure of success for our company is to transition our research to operational users to solve real problems, secure parsing technologies are but one example of our success in this mission."

Riverside Research's secure parser technology makes use of DARPA's advances in formal methods tooling and methodology. Through the collaboration with Anduril, Riverside Research plans to develop a formal methods-based processes that Anduril will then apply to selected product subcomponents that are common across a range of Anduril's product suite. Eventually, Anduril hopes to expand these capabilities to additional Anduril systems, both fielded and in development, that support national security agencies and warfighters.

"Making software-defined systems impervious to cyberattacks is critical to ensuring that warfighters can count on those systems to complete their missions," said Gokul Subramanian, Senior Vice President of Engineering at Anduril. "By combining DARPA's advances in formal methods, Riverside Research's proven secure parser technology, and Anduril's software-defined, hardware-enabled capabilities, we are pioneering efforts within the defense industrial base to permanently eliminate cyber vulnerabilities at the tactical edge. Together, we hope to spur widespread adoption of formal methods across all systems within the Department of Defense."

Anduril is deeply committed to ensuring the safety, reliability, and security of the products that it delivers to warfighters. This partnership with Riverside Research builds upon a variety of existing efforts to maintain the security of Anduril systems, including continuous vulnerability assessments and a variety of enhanced threat detection capabilities. Through the partnership, Anduril and Riverside Research are leading the defense industrial base in transitioning formal methods-based cyber hardening processes from the lab to the field, providing a roadmap to eliminate cyber vulnerabilities from the growing number of software-defined capabilities employed by national security agencies and warfighters operating at the tactical edge.

About Riverside Research
Riverside Research is a national security nonprofit serving the DOD and Intelligence Community. Through the company's Open Innovation Center (OIC), it invests in multidisciplinary research and development and encourages collaboration. Riverside Research's areas of expertise include Object and Activity Detection; Accelerated AI/ML; Zero Trust; Open Architectures; Computational Electromagnetics; Plasma Physics; Precision Timing; Terahertz Imaging; Commercial Intelligence, Surveillance, and Reconnaissance (ISR); Collection Planning; and more. Learn more at www.riversideresearch.org.

About Anduril Industries
Anduril Industries is a defense technology company with a mission to transform U.S. and allied military capabilities with advanced technology. By bringing the expertise, technology, and business model of the 21st century's most innovative companies to the defense industry, Anduril is changing how military systems are designed, built, and sold. Anduril's family of systems is powered by Lattice, an AI software platform that turns thousands of data streams into a real-time, 3D command and control center. As the world enters an era of strategic competition, Anduril is committed to bringing cutting-edge AI, computer vision, sensor fusion, and networking technology to the military in months, not years. For more information, visit www.anduril.com.

SOURCE RIVERSIDE RESEARCH