Galois Wins $2.7M for AMIDOL project

Galois’s Agile Metamodel Inference using Domain-specific Ontological Languages (AMIDOL) is part of DARPA’s Automating Scientific Knowledge Extraction (ASKE) program. AMIDOL is entering its third phase and aims to eliminate the lengthy, error-prone process involved in modeling complex systems for pandemics in real-time. Learn more on our blog.

PERMALINK

David Darais joins Galois as Principal Scientist

We’re thrilled to welcome Dr. David Darais to Galois as a Principal Scientist. His research focuses on tools for achieving reliable software in critical, security, and privacy-sensitive systems while leveraging state-of-the-art approaches. This includes program analysis, type checking, mechanized verification, differential privacy, and secure multiparty computation. Dr. Darais co-designs programming languages in concert with tools […]

PERMALINK

PIRATE: $7.5M DARPA Contract To Accelerate Secure Application Development 

I’m excited to announce we’ve been awarded a $7.5 million contract by the Defense Advanced Research Projects Agency (DARPA) to work on PIRATE, a set of software development tools for designing and building high-performance, physically-partitioned applications that protect sensitive information.  PIRATE stands for Partitioning Information via Resource-Aware Transformations for Everyone.  The project is part of […]

PERMALINK

Galois spin-off thatDot raises $2.1M round

We’re excited to announce that Galois has a new spin-off company, thatDot. This week, thatDot announced a $2.1M seed funding round led by Oregon Venture Fund (OVF), with participation by Hale Capital Partners and Galois. The company is focused on improving the time-to-value of big data through real time access to streaming data for analysis […]

PERMALINK

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