Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feedergalois.com
Galois, Inc.
Get the latest updates from Galois, Inc. directly as they happen.
Follow now 79 followers
Latest posts
Last updated 5 months ago
Mechanism Design and the CAMDEN Program
5 months ago
At Galois, our work isn’t just limited to theoretical computer science; we...
Function Argument Nullability Using an LLM
6 months ago
Overview We think that Rust is a great language, and maybe you...
Surrogate Modeling for Rapid Decision-Making
7 months ago
Imagine a remote pilot in the field, who has a time-sensitive mission...
Visualizing Codebases as Cities
7 months ago
Understanding large code bases is hard. It can take months for an...
Advancing the State of the Art in Zero Knowledge Proofs: SIEVE Wrap Up
8 months ago
Galois recently completed its work on DARPA’s Securing Information for Encrypted Verification...
How Do You Modernize Safety Critical Designs in Nuclear Power? RDE!
8 months ago
Nuclear power plants in the United States are part of what the...
What are Self-Organizing Maps?
9 months ago
Self-organizing maps, or SOMs, are a category of machine-learning (ML) algorithm used...
My People Experience at Galois: The Community Leads the Way
10 months ago
Near the end of 2020, like many folks, I began thinking critically...
Rigorous Robot Security: How Galois’s RDE Framework Is Streamlining NIST Compliance and Change Impact Analysis for Cyber-Physical Systems
10 months ago
In 2003, just as the invasion of Iraq was heating up, the...
The Need for Speed: Revolutionizing CPS Design with AI
11 months ago
For more than two decades, the Need for Speed (NFS) video game...
Generative AI for Specifications
12 months ago
System engineering involves a delicate interplay between three tasks: specification (what a...
CVE-2022-37454: A Buffer Overflow Vulnerability Affecting Implementations Of SHA-3
12 months ago
Abstract: For over a decade, a buffer overflow vulnerability in the “official”...