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 81 followers
Latest posts
Last updated 10 months ago
Mechanism Design and the CAMDEN Program
10 months ago
At Galois, our work isn’t just limited to theoretical computer science; we...
Function Argument Nullability Using an LLM
11 months ago
Overview We think that Rust is a great language, and maybe you...
Surrogate Modeling for Rapid Decision-Making
12 months ago
Imagine a remote pilot in the field, who has a time-sensitive mission...
Visualizing Codebases as Cities
about 1 year 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
about 1 year 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!
about 1 year ago
Nuclear power plants in the United States are part of what the...
What are Self-Organizing Maps?
about 1 year 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
about 1 year 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
about 1 year ago
In 2003, just as the invasion of Iraq was heating up, the...
The Need for Speed: Revolutionizing CPS Design with AI
over 1 year ago
For more than two decades, the Need for Speed (NFS) video game...
Generative AI for Specifications
over 1 year 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
over 1 year ago
Abstract: For over a decade, a buffer overflow vulnerability in the “official”...