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