Galois, Inc.

We’re thrilled to welcome Jason Schuette to Galois! A retired Marine and former DARPA program advisor, Jason brings decades of experience bridging cutting-edge technology and real-world mission impact. He’s spent his career helping teams transition bold ideas to operational reality—exactly the kind of challenge we care about at Galois. We’re excited for the perspective, leadership, and systems thinking he brings to the table. Welcome to the team, Jason!

We released updated versions of SAW and Cryptol! Learn more: https://lnkd.in/e8wkVuVm

When one of our most inventive engineers at Galois retired, colleagues Tyler Smith and Ryan Peroutka decided to send him off with a very Galois-flavored farewell gift: a steel puzzle box disguised as a Minecraft gold ore block. The puzzle box featured multiple layers of security, including an accelerometer-based orientation lock and a light sensor backup. The project involved welding 30 pounds of steel, 3D printing internal components, and even sacrificing a few Arduinos along the way. The project (which our colleague was able to crack "without needing explosives or an angle grinder" is a testament not only to the creativity and problem-solving spirit that defines Galois, but also to the genuine spirit of community and creative kindness that pervades the organization. Check out the full build process here: https://lnkd.in/edB_qhts

As 2026 begins, we’re proud to reflect on a year at Galois defined by innovation, rigor, and real-world impact. Give our annual "Year in Review" blog a read to learn more about what our scientists have been up to: https://lnkd.in/gYjC4nvG

Great to see formal methods, Cryptol, and SAW getting a shoutout from Apple at the HEXACON 2025 keynote! https://lnkd.in/gK7P2hQi

For the past several months, Galois Principal Scientist Mike Dodds has been a visiting fellow at the Constellation Research Center in Berkeley, California. As part of that fellowship, Mike recently gave a talk at the Topos Institute on a topic we think about a lot at Galois: What actually works — and what doesn’t — when it comes to selling formal methods? Short (deceptively obvious) answer: Projects that make sense to clients in terms of cost-benefit tradeoffs move forward. Projects that don’t… don’t. In his talk, Mike digs into why this is the case, what practitioners often get wrong, and how we can do better in framing the value of formal methods. Watch the full video here: https://lnkd.in/gQ8VRm_e

Galois has released updated versions of our Software Analysis Workbench (SAW) and Cryptol, including a wide variety of new features, bugfixes, and enhancements. Learn more: https://lnkd.in/ghwgFiJR

Congrats to Galois spinout Free & Fair, which last week released VoteSecure, a new cryptographic protocol and SDK supporting end-to-end verifiable remote/internet voting. This great example of Rigorous Digital Engineering in action has been featured in Wired, State Scoop, and other news outlets. Give it a read!:  https://lnkd.in/dtrXixKY

At Galois, formal methods form the backbone of everything we do. Whether we’re verifying cryptographic code, securing the blockchain, or analyzing complex threats and systems, we use mathematically-rigorous techniques to ensure these systems work – every time, under all conditions. But what exactly are formal methods? How do they work, and why are they so important? We're so glad you asked. Learn more here: https://lnkd.in/gZEbkWQe