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 […]

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 […]

This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. Adventium’s ISOSCELES technology was selected by the Department of Homeland Security to highlight at RSA 2019. ISOSCELES is one of about a dozen DHS-funded, transition-ready cybersecurity technologies being featured.

We’re excited to welcome Dr. James Edmondson to the Galois team as Principal Scientist. Dr. Edmondson’s research focuses on the command and control, visualization, determinism, and trust of distributed artificial intelligence in robotics.

This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. Congratulations to Todd Carpenter for receiving the 2018 Cyber Security Emerging Technology Leadership Award on 23 October 2018. The award recognized his leadership in addressing safe and secure system design and implementation of cyber physical systems. His work on the DHS Science and Technology Directorate ISOSCELES project was highlighted.

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 […]

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 […]

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 […]

This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. The Navy has awarded Adventium Labs a contract worth up to $1 million to develop the State Linked Interface Compliance Engine for Data (SLICED).

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 […]