News


FILTER BY:
SEARCH:
Conferences
Human Factors
Highlights
Life at Galois
Critical Systems
Fintech
Semiconductors
Automotive
Healthcare
Aerospace & Defense
Advanced Cryptography & Privacy
Artificial Intelligence & Machine Learning
Software & Systems Analysis
Rigorous Digital Engineering
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
No results found. Try adjusting your filters or search terms to see more news.

News

Galois Serves Space-BACN for Breakfast

Read more
Rigorous Digital Engineering
Aerospace & Defense

News

Galois Releases New Versions of Verification Tools SAW, Cryptol, and Crux

Read more
Advanced Cryptography & Privacy
Software & Systems Analysis

News

Galois Releases the Swanky Suite of Rust Libraries for Secure Computation

Read more
Advanced Cryptography & Privacy

News

Galois Releases CAMET Base Pack 1.6.1 with Enhanced Capabilities and Stability Improvements

Read more
Rigorous Digital Engineering

News

HACMS Receives Prestigious DARPA “Game Changer” Award

Read more
Rigorous Digital Engineering
Aerospace & Defense

News

Announcing FRIGATE 0.4.0 and SLICED 2.10.1

Read more
Rigorous Digital Engineering
Aerospace & Defense

News

Galois Releases MBSE Training Materials for AADL and CASE Tools

Read more
Rigorous Digital Engineering

News

“One Weird Trick…”: Galois Develops Fuzzing Tool for User-Friendly Cryptographic Verification

Read more
Software & Systems Analysis

News

Yet Another Pointer Analysis for LLVM

Read more
Software & Systems Analysis

News

Galois Finishes REVERSER Project, Resulting in Automation and Efficiency Gains in Verification Tools

Read more
Artificial Intelligence & Machine Learning
Software & Systems Analysis

News

Galois Releases CAMET Base Pack Comprehensive Bundle

Read more
Rigorous Digital Engineering

News

SIEVE Circuit IR Version 2.1.0 Release

Read more
Advanced Cryptography & Privacy