Galois has secured a $6M contract to develop tools that will help the Department of Defense and other commercial entities update legacy platforms.
The team intends to create a toolset that will enable application delayering and debloating to yield reinforced binaries from various inputs. Galois will restructure compiled applications and focus on overall technology development as part of the project.
Galois noted the toolset will help programs maintain input semantics through the implementation of formal verification approaches.
“The goal of VADD is to build a toolset that supports efforts by the Office of Naval Research to adapt systems to meet emerging threats,” said Joe Hendrix, principal researcher at Galois.