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 […]
This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. Adventium Labs has been awarded a $900K, 18-month research project to identify and mitigate weird machines in computer systems.
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 […]
This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. NASA awarded Adventium a two-year, nearly $900K grant to mature and transition results from a previous NASA research program to the Army Combat Capabilities and Development Command (CCDC)’s Joint Multi-Role Technology Demonstrator (JMR-TD) program and related programs.
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 […]
The Oregon-based verifiable systems firm Galois is designing the voting system. And Darpa wants you to know: Its endgame goes way beyond securing the vote. The agency hopes to use voting machines as a model system for developing a secure hardware platform—meaning that the group is designing all the chips that go into a computer […]
“We are providing the source code specifications, tests, and actually even providing participants at DEF CON with an easy way of actually putting their own malicious software into [the devices],” explains Daniel Zimmerman, principal researcher with Galois, a DARPA contractor working on the project. “We’re not daring them but actually helping them break this.”
In an effort to improve confidence in elections, Microsoft announced Monday that it is releasing an open-source software development kit called ElectionGuard that will use encryption techniques to let voters know when their vote is counted. It will also allow election officials and third parties to verify election results to make sure there was no […]
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 take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.