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 […]
Read More
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.
Read More
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 […]
Read More
WIRED
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 […]
Permalink
Dark Reading
“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.”
Permalink
NPR
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 […]
Permalink
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 […]
Read More
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.
Read More
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.
Read More
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.
Read More