4065

For 4065, vendor is Thales Alenia Space; module name is Thales Alenia Space cryptographic module for Microsemi RTAX FPGA; module type is Hardware; validation date is 11/02/2021; status is Active, verified against its source on 2026-08-05.

Certificate number: 4065 verified
Vendor: Thales Alenia Space verified
Module name: Thales Alenia Space cryptographic module for Microsemi RTAX FPGA verified
Module type: Hardware verified
Validation date: 11/02/2021 verified
Status: Active verified
Standard: FIPS 140-2 verified

Sourcecsrc.nist.gov

Verified2026-08-05

Review by2026-09-04

DatasetFIPS 140 validated cryptographic modules: active, historical or revoked

What the source says

4065 | Thales Alenia Space | Thales Alenia Space cryptographic module for Microsemi RTAX FPGA | Hardware | 11/02/2021 | Active |

— csrc.nist.gov, retrieved 2026-08-05

Source

csrc.nist.govhttps://csrc.nist.gov/Projects/cryptographic-module-validation-program/validated-modules/Search?SearchMode=Advanced&Standard=140-2&CertificateStatus=Active&ValidationYear=0

Last verified against source: 2026-08-05. Due for re-check by 2026-09-04. This page as Markdown · OKF bundle · full dataset as JSON.