Artifact GuideGLOBALFIPS-approved cryptographic algorithms

Post-quantum migration for FIPS cryptography

This guide helps inventory classical public-key use, choose the right NIST post-quantum primitive, and keep validation claims separate from migration planning.

Based on NIST FIPS 203, FIPS 204, FIPS 205, FIPS 140-3, and implementation guidance. Use it as implementation guidance, not for legal interpretation.

Author
Sorena AI
Published
May 9, 2026
Updated
Oct 15, 2026
Overview

Start post-quantum migration with a , then separate key establishment from digital signatures. FIPS 203, FIPS 204, and FIPS 205 became effective on August 13, 2024 for the federal systems covered by their applicability clauses and are available for private and commercial adoption. Map key-establishment uses to and signature uses to ML-DSA or SLH-DSA only after checking the consuming protocol, parameter set, certificate model, implementation support, and module boundary. Keep four claims separate: NIST standardized the primitive, tested an implementation, validated a cryptographic module, and the deployed product uses the covered service in the documented configuration. None of the three FIPS publications sets a universal system migration deadline.

Section 1

Start with a cryptographic-use inventory

List every place the product, service, or module uses public-key cryptography, including dependencies supplied by operating systems, cloud services, hardware, certificate authorities, update systems, build pipelines, and vendors. Separate key establishment from digital signatures before selecting an algorithm. FIPS 203 specifies for key encapsulation; FIPS 204 specifies ML-DSA and FIPS 205 specifies SLH-DSA for digital signatures.

For each use case, the system owner should record the protocol, algorithm, parameter set, public and private key location, key lifetime, protected data, required confidentiality period, signing or handshake volume, message and signature size limits, certificate dependency, failure behavior, and FIPS 140-3 module boundary. The implementation owner records feasible replacements and test results; the assurance owner records , , and claim evidence. Also record where captured ciphertext could remain valuable to an attacker after a later cryptographic break; those long-lived confidentiality uses may need earlier treatment.

  • Classify each use as key establishment, signature generation, signature verification, certificate validation, or legacy dependency.
  • Map key-establishment candidates to only when the design actually needs encapsulation and decapsulation behavior.
  • Map signature candidates to ML-DSA or SLH-DSA only after recording message size, signing frequency, verification environment, key-management model, and interoperability constraints.
  • Keep classical algorithms such as RSA, ECDSA, ECDH, and finite-field schemes visible in the inventory so each , fallback path, compatibility dependency, and retirement decision is explicit.
Section 2

Choose algorithms by use case, not by one migration label

Name the exact primitive, parameter set, and operation. For key establishment, document whether the candidate is -512, ML-KEM-768, or ML-KEM-1024 and how the consuming protocol handles encapsulation, decapsulation failure, authentication, and key derivation. For signatures, compare ML-DSA and SLH-DSA using public-key size, signature size, signing and verification cost, implementation maturity, side-channel controls, relying-party support, and the lifetime of the signing key and signed artifact.

Do not call a product "post-quantum compliant" merely because it references a new FIPS publication. State the narrower fact supported by evidence: the design selected a named FIPS-standardized primitive; a named implementation has a matching record; or a named cryptographic module and service are covered by a current certificate and Security Policy.

  • Use language for encapsulation, decapsulation, shared-secret establishment, and related key-establishment evidence.
  • Use ML-DSA or SLH-DSA language for signing, verification, public-key distribution, signature size, and relying-party verification evidence.
  • Record any classical-plus-post-quantum combination as a governed by a named protocol or profile, not as a combination implied by FIPS 203, FIPS 204, or FIPS 205.
  • Track parameter-set decisions separately from protocol decisions because a standard algorithm can still be deployed incorrectly for a specific protocol or product boundary.
Section 3

Plan around standards and protocol readiness

FIPS 203, FIPS 204, and FIPS 205 became final on August 13, 2024. They standardize cryptographic primitives, not every protocol, certificate format, hardware interface, or product integration needed to deploy them. A migration can therefore be ready at the algorithm layer while blocked at the protocol, public-key infrastructure, hardware, supplier, or validation layer. Build into the migration by keeping algorithm choices discoverable and making protocol, software, hardware, supplier, test, and recovery dependencies changeable under controlled procedures.

NIST IR 8547 is still an Initial Public Draft, so its proposed transition dates are planning input rather than final requirements. Use the draft to identify quantum-vulnerable standards and sequence work, but base a binding deadline on the final publication, a controlling agency rule, a contract, or another authority that actually applies to the system. A legacy interoperability need, unavailable protocol profile, or missing validation path can justify a documented pause or coexistence period, but it does not convert a draft date into a requirement or support a readiness claim.

  • Inventory now: identify quantum-vulnerable key establishment and signatures, data confidentiality periods, external dependencies, and owners.
  • Prototype next: test exact parameter sets, message and signature sizes, failure handling, performance, key storage, certificate workflows, and rollback behavior.
  • Adopt only with a defined profile: require a stable protocol or format, interoperable implementations, supplier support, and an evidence plan for the relevant and claims.
  • Retire classical paths deliberately: remove silent fallback, stale certificates, unused trust anchors, old firmware-signing keys, and configuration paths only after interoperability and recovery testing.
Section 4

Keep CAVP and CMVP evidence separate

Post-quantum migration evidence should not collapse algorithm conformance, self-test behavior, and module validation into one claim. evidence concerns algorithm testing. evidence concerns a cryptographic module validation under FIPS 140-3. A procurement or audit package needs both boundaries stated plainly.

The implementation guidance includes post-quantum self-test guidance and treats as a key-encapsulation mechanism for sensitive security parameter establishment. That helps a module team understand what a validation package may need to address, but it does not by itself prove that a specific shipped product has a current validation certificate.

  • For each implementation, record the algorithm, parameter set, implementation version, certificate evidence when available, and the module that consumes the implementation.
  • For each FIPS 140-3 claim, record the module name, module version, operational environment, Security Policy, approved mode statement, and certificate status.
  • For each migration exception, record whether the blocker is algorithm availability, protocol support, lab testing, customer interoperability, hardware acceleration, certificate dependency, or module revalidation timing.
  • Avoid procurement wording that says "FIPS validated algorithm" when the evidence only shows selection of a FIPS-standardized algorithm or a plan to seek validation.
Section 5

Migration evidence checklist

Use this checklist to review the evidence for each post-quantum migration workstream. Each item should be traceable to a product boundary, release, protocol, module, or customer-facing claim.

The evidence must be specific enough for engineering and procurement to act on. It should show what changed, what stayed classical, what depends on external libraries or protocols, what fallback remains, and which validation evidence exists versus which evidence is planned.

  • Inventory: list every RSA, ECDSA, ECDH, finite-field, , ML-DSA, and SLH-DSA use with product version and owner.
  • Decision record: state whether each use case is keep temporarily, replace, combine in a , monitor, or retire, and cite the technical or policy reason.
  • Algorithm record: include selected algorithm, parameter set, implementation version, status or gap, and any known protocol constraints.
  • Module record: include FIPS 140-3 module boundary, Security Policy impact, approved-mode impact, self-test impact, and revalidation trigger.
  • Customer record: separate public roadmap language from validated-product language so sales, security questionnaires, and procurement responses do not overclaim.
Section 6

Review gates before publishing a migration claim

Before publishing roadmap, compliance, or procurement language, route the claim through three gates. First, engineering confirms the cryptographic use case and implementation boundary. Second, security or compliance confirms the cited algorithm and validation evidence. Third, product or sales confirms the wording does not imply a validated module or deployed customer capability that does not exist.

Repeat this review after a library change, firmware release, protocol update, lab submission, certificate update, parameter-set change, certificate-profile change, customer commitment, supplier change, or NIST guidance update. Record one outcome: approved for the stated boundary, approved only as a prototype or design decision, blocked pending named evidence, retained temporarily under an owned exception, or retired.

  • Engineering gate: confirm the algorithm, parameter set, protocol, implementation version, and affected release.
  • Validation gate: confirm algorithm evidence, module evidence, or the exact gap if validation evidence is not yet available.
  • Procurement gate: replace broad claims with scoped language such as "uses in this component" or "planned for the next FIPS 140-3 module submission" when that is what the evidence supports.
  • Change gate: reopen the record when NIST publications, guidance, testing, module boundaries, or customer requirements change.
Primary sources

References and citations

doi.org5 citations
Referenced sections
  • Primary source for ML-KEM as the FIPS-standardized post-quantum key-encapsulation mechanism.
  • Supports treating ML-KEM as the FIPS-standardized post-quantum key-encapsulation mechanism for key-establishment migration.
  • Identifies the approved ML-KEM parameter sets that migration records should name instead of using generic PQC labels.
Show 2 more
  • Supports the key-establishment fields in the inventory and decision record.
  • Supports cited wording for ML-KEM claims in migration communications.
"Module-Lattice-Based Key-Encapsulation Mechanism Standard"
More quoted passages
"ML-KEM-512, ML-KEM-768, and ML-KEM-1024"
"key-encapsulation mechanism"
"FIPS 203"
doi.org4 citations
Referenced sections
  • Primary source for ML-DSA as a FIPS-standardized post-quantum digital signature algorithm.
  • Supports treating ML-DSA as a FIPS-standardized post-quantum digital signature option.
  • Supports separating digital signature migration from key-establishment migration.
Show 1 more
  • Supports cited wording for ML-DSA signature claims.
"Module-Lattice-Based Digital Signature Standard"
More quoted passages
"generate and verify digital signatures"
"FIPS 204"
doi.org4 citations
Referenced sections
  • Primary source for SLH-DSA as a FIPS-standardized stateless hash-based digital signature algorithm.
  • Supports treating SLH-DSA as the FIPS-standardized stateless hash-based digital signature option.
  • Supports considering SLH-DSA where a stateless hash-based signature design is the intended migration path.
Show 1 more
  • Supports cited wording for SLH-DSA signature claims.
"Stateless Hash-Based Digital Signature Standard"
More quoted passages
"stateless hash-based digital signature"
"FIPS 205"
csrc.nist.gov2 citations
Referenced sections
  • Supports evidence planning for module self-tests, ML-KEM handling, and CMVP validation guidance without overstating certificate status.
  • Supports including module boundary, approved mode, self-test, and revalidation fields in the evidence checklist.
"Cryptographic Algorithm Self-Test Requirements"
More quoted passages
"FIPS 140-3 Implementation Guidance"
csrc.nist.gov2 citations
Referenced sections
  • Public NIST project page for algorithm validation evidence, separate from module validation.
  • Supports using CAVP as the algorithm-validation evidence track, distinct from CMVP module validation.
"Cryptographic Algorithm Validation Program"
csrc.nist.gov2 citations
Referenced sections
  • Public NIST project page for FIPS 140-3 module validation context.
  • Supports requiring separate evidence for cryptographic module validation claims.
"Cryptographic Module Validation Program"
doi.org
Referenced sections
  • Supports separating cryptographic module validation requirements from algorithm-standard selection.
"Security Requirements for Cryptographic Modules"
doi.org
Referenced sections
  • Provides NIST's proposed approach and timelines for moving from quantum-vulnerable standards to post-quantum standards; it is an Initial Public Draft, not a final transition rule.
csrc.nist.gov
Referenced sections
  • Supports using NIST's PQC project as the source context for migration tracking and future algorithm updates.
"Post-Quantum Cryptography"
Show all related guides (25)

FIPS approved algorithm selector workflow

A cited workflow for selecting FIPS and NIST-approved cryptographic algorithms without overstating module validation, CAVP evidence, or approved-mode claims.

FIPS approved mode procurement: certificates, boundaries, and evidence

Procurement guidance for FIPS approved mode claims: how to check CMVP certificates, CAVP evidence, module boundaries, tested environments, and supplier evidence before purchase.

FIPS crypto transition and deprecation tracker

Track FIPS algorithm transitions, withdrawn guidance, CAVP evidence, CMVP module impact, procurement triggers, and approved-mode caveats without overstating validation status.

FIPS cryptographic algorithm selector

Choose between FIPS algorithm standards for AES, SHA-2, SHA-3, digital signatures, ML-KEM, ML-DSA, and SLH-DSA without overstating validation scope.

FIPS KDF and MAC coverage for validated modules

Map FIPS 140-3 KDF and MAC coverage to approved security functions, CAVP evidence, self-tests, service indicators, and module security policy entries.

FIPS Key Management Mapping for Algorithms and SSP Evidence

Map FIPS 140-3 key management requirements to approved algorithms, SSP establishment methods, CAVP evidence, module boundaries, and key-use records.

FIPS Procurement Evidence Review Workflow: CAVP, CMVP, Approved Mode

Review FIPS crypto procurement evidence by separating CAVP algorithm certificates from CMVP module certificates, Security Policy scope, approved mode, operating environment, change impact, and retention records.

FIPS-approved cryptographic algorithms FAQ

Answers to common FIPS algorithm questions: approved security functions, CAVP validation, CMVP module scope, AES modes, SHA-2, SHA-3, signatures, and post-quantum algorithms.

ML-DSA vs ECDSA under FIPS 204 and FIPS 186-5

Compare ML-DSA and ECDSA for FIPS-aligned digital signature designs, including parameter choices, key handling, CAVP algorithm evidence, and CMVP module boundaries.

Post-quantum FIPS 203, 204, and 205: ML-KEM, ML-DSA, and SLH-DSA

An official source guide to the three NIST post-quantum FIPS standards: when ML-KEM, ML-DSA, and SLH-DSA apply, what evidence to keep, and how CAVP and CMVP claims differ.

Post-Quantum Migration Tracker for FIPS 203, 204, and 205

Track post-quantum cryptography migration evidence for FIPS 203 ML-KEM, FIPS 204 ML-DSA, FIPS 205 SLH-DSA, CAVP algorithm certificates, and CMVP module boundaries.

SHA-2 vs SHA-3 under FIPS 180-4 and FIPS 202

Compare SHA-2 and SHA-3 for FIPS use: approved functions, validation evidence, compatibility, procurement checks, and when migration is not required.

TLS use-case mapping for FIPS algorithm evidence

Map TLS uses to FIPS algorithm, CAVP, CMVP, approved-mode, certificate-authority, and evidence checks without overstating protocol validation claims.

FIPS 203, 204, and 205 Post-Quantum Algorithms

FAQ on how FIPS 203 ML-KEM, FIPS 204 ML-DSA, and FIPS 205 SLH-DSA fit FIPS-approved cryptographic algorithm planning, implementation evidence, and validation checks.

FIPS Algorithm Procurement Evidence FAQ

What procurement teams should collect before accepting FIPS algorithm or module claims: CAVP certificates, CMVP module status, security policy scope, and supplier change triggers.

FIPS validation certificates for cryptographic algorithms

How to read CAVP algorithm validation certificates and CMVP module validation certificates without overstating FIPS-approved cryptographic algorithm claims.

How FIPS 180-4 and FIPS 202 Hash Functions Fit FIPS Algorithm Approval

Identify SHA-1 and SHA-2 in FIPS 180-4 and SHA-3 and SHAKE in FIPS 202, then check current-use status and CAVP/CMVP evidence separately.

How FIPS 186-5 Signature Algorithms Fit FIPS Approval

Use FIPS 186-5 for RSA, ECDSA, deterministic ECDSA, EdDSA, HashEdDSA, DSA verification limits, approved hashes, and CAVP/CMVP evidence boundaries.

What does FIPS 197 AES mean for FIPS-approved algorithms?

FIPS 197 defines AES as a FIPS-approved block cipher, but AES use alone is not the same as CAVP algorithm testing or FIPS 140-3 module validation.