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.”

To read more, please click here.