Galois Lands Contract to Support Modernization of DoD Systems

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.

You may also be interested in...

SBIRS GEO-5 Satellite Lockheed Martin

Lockheed-Made SBIRS GEO-5 Satellite Set for Launch Next Year

Lockheed Martin has announced the launch readiness of an upcoming military space satellite designed to provide missile warning via infrared technology. The company said Wednesday its fifth Space-Based Infrared System Geosynchronous Earth Orbit satellite or SBIRS GEO-5 is set for flight in 2021, following the satellite's completion in October this year.


Parsons Announces New Products for Cloud Native Streaming

Parsons has unveiled a new series of cloud products designed to help government and commercial customers process large amounts of data while ensuring lesser infrastructure costs. The company said Wednesday it will offer cloud native stream platforms to deliver the scalability needed to maximize cloud resources.


Bitglass Gets FedRAMP OK for Secure Cloud Access Offering

Bitglass has earned a certification under the Federal Risk and Authorization Management Program for a platform developed to protect any interaction between devices, applications, on-premises resources, infrastructure and web destinations.