Galois: post-quantum cryptography audit services
================================================

Galois specializes in formal methods and builds the Cryptol and SAW tools used to prove cryptographic implementations equivalent to their specifications. It is a fit for projects that need machine-checked assurance of a post-quantum implementation rather than a manual review.

Website: https://galois.com
Headquarters: Portland, Oregon, United States
Focus: Formal verification of cryptographic code
Post-quantum services: Formal verification of cryptographic implementations against specifications | Cryptol specifications of NIST post-quantum algorithms
Evidence: https://cryptol.net/

Source page: https://pqaudit.org/auditors/galois/
Compiled by: PQC Audit Index editors (https://pqaudit.org/about/)
Last reviewed: 2026-09-12