{
  "slug": "galois",
  "name": "Galois",
  "url": "https://galois.com",
  "hq": "Portland, Oregon, United States",
  "focus": "Formal verification of cryptographic code",
  "summary": "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.",
  "pqc_services": [
    "Formal verification of cryptographic implementations against specifications",
    "Cryptol specifications of NIST post-quantum algorithms"
  ],
  "evidence": [
    [
      "Cryptol and SAW",
      "https://cryptol.net/"
    ]
  ],
  "rank": 8,
  "page": "https://pqaudit.org/auditors/galois/",
  "updated": "2026-09-12"
}