- 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.
Use this workflow when a design review needs to decide which FIPS or NIST-approved cryptographic algorithm family fits a specific service. It separates the algorithm question from adjacent questions about modes of operation, parameter sets, CAVP testing, cryptographic module validation, approved-mode indicators, and deployment boundary.
The selector starts by naming the service the module or product will provide: encryption, hashing, digital signature, key establishment, key derivation, random bit generation support, or protocol component. That service determines which FIPS or NIST recommendation is relevant and which evidence can support the 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.
Use this table as 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 | CAVP 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 | CAVP 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
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 CAVP addresses testing of approved security functions and approved sensitive security parameter generation and establishment methods referenced by the SP 800-140 series.
A CAVP algorithm certificate is still not the same thing as a FIPS 140-3 module certificate. The IG states that an algorithm validation certificate identifies the validated algorithm implementation and tested operational environment. It also states that the tested operational environment must be identical to, or fully included in, the cryptographic module environment being tested, subject to the stated rules.
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 CAVP records, CMVP certificate and Security Policy text, service indicators, operational environment, hardware acceleration path, and module boundary.
Gate 5: What claim is allowed? The final row should say what is selected, what is validated or not yet validated, which boundary the evidence covers, and what change would 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 | CAVP certificate, CMVP 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"
"validation-search"
"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"