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

Abstract: For over a decade, a buffer overflow vulnerability in the “official” SHA-3 implementation by its designers remained unnoticed. This vulnerability was assigned CVE-2022-37454 and impacted several projects such as Python and PHP that relied on this implementation. We provide a proof of concept for arbitrary code execution and explain how we found the vulnerability […]

We recently sat down with Galois Principal Scientist David Darais, and Research Engineers Rawane Issa and Sourya Dey to discuss AI/ML and security/privacy, as well as the cryptographic techniques and research being done by Galois to mitigate these threats. The Q&A below has been edited for brevity and clarity. Q: How would you frame the […]

As 2023 draws to a close, we take a moment to look back. It’s been a jam-packed year for Galois, from software releases to research breakthroughs. Our intrepid team of engineers and scientists has published papers, led workshops, served on committees and boards, presented at conferences, led science communication efforts, and spearheaded truly cutting edge […]

Back in 2015, Galois Chief Scientist and Founder, John Launchbury, started developing and discussing “Three Waves of AI” as a framework for understanding the new burst of machine learning developments that were taking place, and to put DARPA I2O’s research portfolio into context. Now, eight years later, ChatGPT and friends have burst on the scene. In this […]

In our latest blog post, we chat with Georgia Tech master’s student Himanshu Goyal about his internship experience at Galois. Here, Himanshu discusses his passion for software systems, Galois’s unique culture, and how his internship experience helped hone his engineering and research skills. Read on to learn more about Himanshu’s journey. Why Galois? How did […]

Once per year, Galwegians are invited to gather together to celebrate the life of the company (and its swashbuckling revolutionary namesake). As part of this year’s festivities, the engineering team embarked on an epic race against time in Galois’ first-ever Game Jam! Each of the nine participating teams was given 24 hours to come up […]

We recently caught up with Mason Read, a computer science undergraduate at UC Irvine who just wrapped up his third consecutive summer internship with Galois. It was a great opportunity for him to share some insights from his experience working on diverse projects, his personal and professional growth during his time with us, and his […]

This week, Galwegians from across the country gathered to celebrate the grand opening of our new office in Minneapolis. The festivities included an open house of the new office space; a walking tour of the city; a double feature of Wallace and Gromit: The Wrong Trousers and Crouching Tiger, Hidden Dragon at the Parkway Theater […]

We recently celebrated Jef Bell and Mark Tullsen, Galwegians who have worked with us for 20 years. For reference, Galois was founded in 1999, so a 20-year tenure is the bulk of our existence as a company! In addition to celebrating these wonderful humans, we wanted to take a moment to gain from their experience […]