Mechanism Design and the CAMDEN Program

At Galois, our work isn’t just limited to theoretical computer science; we also engage with research challenges that straddle many disciplines. One of our ongoing efforts for DARPA, the Collaborative APIs through Mechanism Design and Engineering (CAMDEN) program, focuses on the field of Mechanism Design, which lives at the intersection of Game Theory, Behavioral Economics, […]

Read More

Function Argument Nullability Using an LLM

by Mark Tullsen, Stuart Pernsteiner, and Mike Dodds Overview We think that Rust is a great language, and maybe you agree! Unfortunately, even if you do, there’s a good chance whatever application you’re working on is written in some older language such as C. To help with this, Galois has been developing c2rust, an automated […]

Read More

Visualizing Codebases as Cities

Understanding large code bases is hard. It can take months for an experienced engineer to get comfortable navigating and manipulating large software projects. At Galois, we’re developing tools to generate 3D representations of code bases visualized as cities to help engineers get oriented faster, and to develop a shared visual reference for team conversations and […]

Read More

Advancing the State of the Art in Zero Knowledge Proofs: SIEVE Wrap Up

Galois recently completed its work on DARPA’s Securing Information for Encrypted Verification and Evaluation (SIEVE) program, which sought to “advance the state of the art in Zero Knowledge Proofs (ZKPs) to enable complex, DoD-relevant applications.” Over the course of working on SIEVE, our research pushed ZKP performance forward significantly, making the task—once considered far too […]

Read More

How Do You Modernize Safety Critical Designs in Nuclear Power? RDE!

Nuclear power plants in the United States are part of what the Department of Homeland Security identifies as “nationally critical infrastructure,” a category that also includes our vast transportation network, water systems, electrical grids, and more. For decades, even as other parts of the nation’s infrastructure began using computers, American nuclear power plants avoided integrating […]

Read More

What are Self-Organizing Maps?

Self-organizing maps, or SOMs, are a category of machine-learning (ML) algorithm used for clustering data points with similar variables. They are useful both for exploring the structure of unlabeled data sets and for creating classifiers for complex, messy data that may be problematic for more traditional ML algorithms. This is because they lend themselves to […]

Read More

Rigorous Robot Security: How Galois’s RDE Framework Is Streamlining NIST Compliance and Change Impact Analysis for Cyber-Physical Systems

In 2003, just as the invasion of Iraq was heating up, the U.S. Army reached out to the University of Minnesota’s Center for Distributed Robotics (CDR). They needed compact robots capable of providing real-time reconnaissance and situational awareness for troops on the ground. The CDR, the army knew, was already engaged in developing advanced remote-controlled […]

Read More

The Need for Speed: Revolutionizing CPS Design with AI

For more than two decades, the Need for Speed (NFS) video game franchise captured the hearts of young gamers across the globe with its high-octane thrills, heart-pounding car chases, and the adrenaline rush of illegal street racing. Yet for many, especially those who played the earliest iterations in the late ‘90s and early 2000s, NFS […]

Read More