in ,

Galois Lands Contract to Support Modernization of DoD Systems

Galois Lands Contract to Support Modernization of DoD Systems - top government contractors - best government contracting event
Galois Lands Contract to Support Modernization of DoD Systems - top government contractors - best government contracting event

Galois has secured a $6M contract to develop tools that will help the Department of Defense and other commercial entities update legacy platforms.

The company said Tuesday it will lead a team comprised of SRI International, Stanford University and the University of Iowa to carry out work under the Verified Debloating and Delaying project.

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.

ExecutiveBiz Logo

Sign Up Now! ExecutiveBiz provides you with Daily Updates and News Briefings about Contract Awards

mm

Written by Matthew Nelson

Mitre Helps Combat Financial Hacking With Commercial Tech Evaluation Effort - top government contractors - best government contracting event
Mitre Helps Combat Financial Hacking With Commercial Tech Evaluation Effort
Boeing Moves Forward With Chinook Block II Helicopter Tests - top government contractors - best government contracting event
Boeing Moves Forward With Chinook Block II Helicopter Tests