- Supports boundary, operational-environment, approved-service, and non-approved-service evidence checks.
"algorithm validation certificate states the name and version number"
A practical way to choose approved cryptographic algorithms by service type, standard, parameter set, module boundary, and validation evidence.
Use it to structure engineering and assurance review. Do not treat algorithm approval as proof that a module, product, protocol, or deployment is FIPS 140-3 validated.
Structured answer sets in this page tree.
Cited legal and guidance references.
Choose the cryptographic service first, then the governing FIPS or NIST publication, algorithm or scheme, mode, parameter set, and supporting functions. The cited FIPS publications control covered U.S. federal systems and are available for private and commercial adoption; a protocol profile, agency rule, contract, or application standard may narrow the allowed choice. After selection, verify the implementation through the Cryptographic Algorithm Validation Program (). When the claim concerns a validated cryptographic module, also verify the separate Cryptographic Module Validation Program () certificate, public Security Policy, operational environment, module boundary, and approved-service indicator. An approved algorithm standard does not validate a product, protocol, deployment, or module.
The system or product owner names the service the module or product will provide: encryption, hashing, digital signature, key establishment, key derivation, message authentication, random bit generation, or a protocol component. The cryptographic engineer records the exact algorithm, mode, parameter set, and dependencies. The assurance reviewer matches that design to and evidence. The service determines which FIPS or NIST publication applies and what evidence can support the resulting claim.
Keep the claim narrow. AES in FIPS 197 specifies a block cipher with AES-128, AES-192, and AES-256, but the standard also says AES is used with a FIPS-approved or NIST-recommended mode of operation. A hash decision should point to FIPS 180-4 or FIPS 202. Signature decisions should distinguish FIPS 186-5, FIPS 204 ML-DSA, FIPS 205 SLH-DSA, and any application-level assurance requirements. Key-encapsulation decisions should identify the FIPS 203 ML-KEM parameter set.
This table is the first pass before library or vendor selection. It is intentionally limited to claims supported by the standards; implementation status and validated use still need separate evidence.
Service | Candidate source | Decision detail to record | Evidence to request
Symmetric encryption | FIPS 197 plus the applicable mode recommendation | AES-128, AES-192, or AES-256, mode, IV or nonce handling, key management path | algorithm certificate, module Security Policy, mode documentation
Hashing or digest support | FIPS 180-4 or FIPS 202 | SHA-2 or SHA-3/SHAKE function, digest length, whether it is standalone or used inside another algorithm | certificate or module evidence for the function actually used
Classical signatures | FIPS 186-5 | RSA, ECDSA, or EdDSA use, key size or curve, hash function, key-generation assurance | Signature algorithm validation and public/private key assurance evidence
Post-quantum KEM | FIPS 203 | ML-KEM-512, ML-KEM-768, or ML-KEM-1024, input checking, key handling, encapsulation or decapsulation use | Parameter-set decision, implementation validation status, module boundary
Post-quantum signatures | FIPS 204 or FIPS 205 | ML-DSA or SLH-DSA, parameter set, pure or pre-hash variant where relevant | Signature validation evidence and approved hash or XOF evidence when pre-hashing is used
Message authentication | FIPS 198-1 or the applicable NIST mode recommendation | HMAC or an approved block-cipher-based MAC, underlying hash or cipher, tag length, key handling | entry for the exact MAC and parameters plus module evidence when a module claim is made
Key derivation or protocol KDF | Applicable NIST recommendation or protocol-KDF reference recognized by guidance | KDF family, inputs, output length, protocol context, and whether use is component-limited | or Component Validation List (CVL) entry, usage restriction, Security Policy mapping, and protocol context
Random bit generation | SP 800-90A and applicable entropy-source requirements | Deterministic random bit generator (DRBG) construction, security strength, entropy source, personalization or nonce handling, reseed behavior | DRBG validation entry plus module entropy and Security Policy evidence
Use the selector output to assign evidence owners, identify validation gaps, and keep algorithm claims aligned with module boundaries and certificates.
Convert selector rows into owners, evidence requests, gap statements, and review checkpoints.
Use official FIPS and CMVP material to resolve algorithm, parameter-set, and validation-evidence questions.
Review service scope, algorithm choices, validation evidence, and boundary caveats with Sorena.
After a candidate algorithm is selected, verify whether the implementation evidence matches the exact service. FIPS 140-3 Implementation Guidance states that addresses testing of approved security functions and approved sensitive security parameter generation and establishment methods referenced by the SP 800-140 series.
A algorithm certificate is not a FIPS 140-3 module certificate. The guidance says an algorithm certificate identifies the validated algorithm implementation and tested operational environment. When that certificate is bound into a module undergoing FIPS 140-3 testing, the CAVP-tested environment must be identical to, or fully included in, the module's test environment under the guidance's stated rules. Do not apply that binding rule as a blanket claim that every unlisted product environment is validated.
Gate 1: Is the service in scope? Name the exact cryptographic service and reject selector rows that only name a broad product feature such as secure storage or secure transport.
Gate 2: Is the source family correct? Choose the FIPS or NIST source that covers the service: AES, secure hash, digital signature, key encapsulation, KDF, MAC, random bit generation, or protocol component.
Gate 3: Are the mode, parameter set, and supporting functions specified? Record AES mode, hash or XOF, signature parameter set, KEM parameter set, approved RBG dependency, and pre-hash details where relevant.
Gate 4: Does evidence match the implementation? Compare records, certificate and Security Policy text, service indicators, operational environment, hardware acceleration path, and module boundary.
Gate 5: What claim is allowed? Choose one bounded outcome: rejected because the service or governing source is unclear; selected at design level but missing implementation evidence; matched to a named -tested implementation; or matched to a named -validated module whose approved service is used under its Security Policy conditions. Record the owner, covered boundary, allowed wording, open evidence, and changes that reopen the decision.
Copy these fields into the design review or assurance record for each cryptographic service. Leave a field blank only if the reviewer has explicitly marked it not applicable and explained why.
Field | Required entry
Service | Encryption, digest, signature generation, signature verification, KEM encapsulation, KEM decapsulation, KDF, MAC, DRBG, or protocol component
Source | FIPS or NIST publication and section or table used for the selection
Algorithm choice | Family, mode or variant, parameter set, key size, curve, hash, XOF, or supporting function
Implementation evidence | certificate, certificate, Security Policy entry, test result, or gap statement
Boundary | Module, operational environment, library version, accelerator path, platform, and calling service
Allowed claim | Exact wording the team can use internally or externally, with any caveat
Change trigger | Library update, compiler/platform change, accelerator change, parameter-set change, protocol change, module boundary change, or certificate-status change
"algorithm validation certificate states the name and version number"
"Security Requirements for Cryptographic Modules"
"Either this Standard or Federal Information Processing Standard (FIPS) 202 must be implemented"
"specifies a suite of algorithms that can be used to generate a digital signature"
"shall be used in conjunction with a FIPS-approved or NIST-recommended mode of operation"
"The SHA-3 family consists of four cryptographic hash functions"
"K-PKE is not approved for use in a stand-alone fashion."
"This standard specifies several parameter sets for ML-DSA that are approved for use."
"WOTS+, XMSS, FORS, and hypertree signature schemes are not approved"