# Galois

> Galois is an employee-owned computer science research and engineering company that applies formal methods to critical software and hardware. It develops open-source verification tools including Cryptol and SAW, undertakes sponsored R&D, and delivers assurance and systems engineering work for government agencies and commercial technology companies.

- **Founded:** 1999
- **Headquarters:** Portland, United States
- **Founders:** John Launchbury (Founder and Chief Scientist)
- **Products:** Cryptol, Software Analysis Workbench (SAW), Crux, CAMET Library, Research and assurance engineering
- **Notable:** Cryptol’s first fully public open-source version released in 2014., Coauthored a 2018 case study on continuous verification of production s2n components at AWS., Completed transition to 100% employee ownership in June 2023.

## Products & services

- **Cryptol** — Open-source language for specifying cryptographic algorithms, generating test vectors and checking mathematical properties; the first Galois contract began in 1999 and Cryptol 2 became publicly open source in 2014.
- **Software Analysis Workbench (SAW)** — Open-source, semi-automated verification tool for comparing program behavior with specifications; SAW 1.5 released in 2026 with Rust MIR verification out of experimental status.
- **Crux** — Verification tool for Rust and C/LLVM that expresses proof tasks as symbolic unit tests.
- **CAMET Library** — Digital engineering library supporting systems modeling and analysis; free for up to ten users per organization from January 1, 2026, with an enterprise option above that threshold.
- **Research and assurance engineering** — Sponsored research, formal analysis, cryptographic engineering, AI/ML research, privacy and digital engineering for critical systems.
- **HealthyDocs** — ARPA-H-funded research project announced September 2026 to develop secure integration and management of medical-device and electronic-health-record data.

## Achievements

- Cryptol’s first fully public open-source version released in 2014.
- Coauthored a 2018 case study on continuous verification of production s2n components at AWS.
- Completed transition to 100% employee ownership in June 2023.
- Awarded $12.6 million for DARPA HEIMDALLR in January 2025.
- Apple’s May 2026 corecrypto verification publication credits SAW, Cryptol and a Galois-built translator.
- Reported defending eight of nine vulnerabilities at the second ARPA-H UPGRADE hackathon in 2026.

## Latest updates

- **2026-09** — Announced HealthyDocs, an ARPA-H-funded healthcare data integration and security project.
- **2026-06** — Reported defending eight of nine vulnerability challenges at the second UPGRADE hackathon with Kry10.
- **2026-05** — Apple publicly described Galois tools and its translator in a corecrypto verification blueprint.
- **2026-05** — Publicized CAMET Library’s free tier for up to ten users, effective January 1.
- **2026-03** — Announced an AADL Library for SysMLv2 developed with industry and academic collaborators.
- **2026-02** — Released SAW 1.5 and Cryptol 3.5.0.

## Links

- Website: https://www.galois.com/
- LinkedIn: https://www.linkedin.com/company/galois-inc-/
- Twitter/X: https://twitter.com/galois/
- GitHub: https://github.com/GaloisInc/
- YouTube: https://www.youtube.com/galoisinc
- Facebook: https://facebook.com/galoisinc/

---

Profile page: https://yespress.io/galois
Published by YesPress — https://yespress.io
Last updated: 2026-10-25