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, […]
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 […]
Imagine a remote pilot in the field, who has a time-sensitive mission, and whose main aerial platform (aircraft) has been compromised. The pilot has a collection of other aerial platforms that could potentially be used as alternatives, along with various sensor payloads, any one of which can be attached to a platform. A decision must […]
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 […]
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 […]
System engineering involves a delicate interplay between three tasks: specification (what a system should do); implementation (what a system actually does); and verification (determining whether they agree). Already, novel generative AI technologies have emerged that can assist with implementation and verification (e.g., respectively, Microsoft’s CoPilot, and formal verification tools developed on DARPA’s PEARLS Artificial Intelligence […]
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 […]
In March, 2024, researchers discovered a backdoor hidden in an update of open-source Linux tool XZ Utils – a vulnerability that appears likely to be the result of a multi-year, state-sponsored supply chain attack. This latest close call is only the most recent in a growing history of incidents underscoring the fragility of a modern […]
Growing up, Taisa Kushner loved math. There was a functional elegance to the way mathematical techniques could be used to unravel even the most complex problems, and how seemingly disparate systems were linked through simple equations. But she enjoyed the biological sciences too, and wanted to find a career where she could use her skills […]
Illegal, Unreported, and Unregulated (IUU) fishing represents a significant global threat to our shared natural resources, undermining the sustainability of fish stocks, damaging ocean ecosystems, and robbing nations of their natural heritage and economic foundation. Nowhere is this challenge more acute than in the Galapagos Marine Reserve (GMR), a biodiversity hotspot of extreme ecological significance. […]
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.