Galois has been awarded a $10 million DARPA cybersecurity contract.
The contract is part of DARPA’s Cyber Fault-tolerant Attack Recovery (CFAR) program, which is addressing software vulnerabilities in military and commercial code bases by diversifying the software involved.
The Galois-led team, which includes Trail of Bits, Immunant, and University of California, Irvine, “aims to support this goal by developing novel ways to prove correctness, security, and related properties of existing and future software systems,” a Galois news release said. “Galois’ Robust, Assured Diversity for Software Systems (RADSS) solution, based on years of research into software diversity, multi-variant execution, and program verification, will explore diversity-based defenses to new classes of attack and also address key challenges that currently prevent widespread deployment of these technologies.”
