Galois Awarded $6 Million Office of Naval Research Project To Secure and Optimize Existing DoD Systems

The project will build a toolset enabling new ways of customizing and improving software even after development is complete Galois today announced that it has been awarded a $6 million (base plus option) contract by the Office of Naval Research (ONR) to build a toolset that will enable DoD and commercial organizations to more easily retrofit […]

PERMALINK

Galois Awarded $16.5 Million DARPA Contracts To Address Electronic Document Vulnerabilities

Pair of contracts for DARPA SafeDocs Program designed to address cyber attacks that exploit security vulnerabilities in electronic documents Galois today announced it has been awarded a pair of contracts totaling $16.5 million from the Defense Advanced Research Projects Agency (DARPA) SafeDocs program to develop novel defenses to cyber attacks that exploit unauthenticated or compromised […]

PERMALINK

Galois Awarded $15 Million IARPA Contract To Expand Government, Commercial Use Of Privacy-Preserving Technology

Project for IARPA’s HECTOR Program focused on making secure computation accessible to data scientists, other programmers who are not experts in cryptography Galois today announced it has been awarded a 5-year, $15.2 million contract by Intelligence Advanced Research Projects Activity (IARPA) to make secure computation (SC) more accessible to data scientists and other programmers who […]

PERMALINK

Galois Awarded $8.6 Million DARPA Contract To Build Cyber Reasoning Tool that Discovers Security Vulnerabilities

Galois will partner with Harvard University and Trail of Bits to build scalable and more cost-effective tools that identify hard-to-find vulnerabilities. Galois has been awarded an $8.6 million contract by the Defense Advanced Research Projects Agency (DARPA) to build a tool that uses a hybrid human-machine approach to detecting cyber security vulnerabilities that go undetected […]

PERMALINK

Galois partners with Microsoft to enable verifiable elections with ElectionGuard

Today Microsoft announced our joint work on ElectionGuard, a software development kit that will enable anyone to build verifiable and secure elections technology. Leveraging ElectionGuard, voting systems can become end-to-end verifiable and allow for individual voters to confirm their votes were counted, as well as for third parties to validate that an election hasn’t been […]

PERMALINK

Galois Spins Out Systems Re-engineering Company Tangram Flex

Startup to revolutionize how large and complex embedded systems are created and modernized Dayton, OH, August 9, 2018 – Galois today announced it is spinning out Tangram Flex, a software re-engineering company that provides smart tooling to quickly reconfigure large and complex embedded systems.  This enables the reuse of existing components alongside new capabilities, while assuring […]

PERMALINK

Matt Clark joins Galois as Principal Scientist

We’re pleased to announce that Matthew A. Clark is joining Galois as a Principal Scientist. Mr. Clark was previously the lead for Autonomous Manned-Unmanned Teaming for the Aerospace Systems Directorate, Air Force Research Laboratory (AFRL). During his tenure at AFRL, Mr. Clark also served as the supervisor of the Autonomous Controls Branch, Power and Control […]

PERMALINK

DHS Awards Galois Contract To Enable Sensitive Network Data To Remain Encrypted When Shared And Analyzed

Cryptographic tool will be leveraged by DHS and, over time, government agencies and corporations seeking to enable cyber security solutions and safeguard sensitive data Galois today announced that it has been awarded a two-year, $800K contract by the Department of Homeland Security (DHS) Science and Technology Directorate (S&T) to develop a tool suite for organizations […]

PERMALINK

Galois Awarded $4.5 Million DARPA Contract To Strengthen Hardware Security

Project award by DARPA Microsystems Technology Office (MTO) re-imagines approach to security for design and development of CPUs, smartphone chips, other hardware Galois today announced that it has been awarded a multi-year contract by the Defense Advanced Research Projects Agency (DARPA) Microsystems Technology Office (MTO) to develop tools and methodologies that enable provable security for […]

PERMALINK