# 4065 — FIPS 140 validated cryptographic modules: active, historical or revoked

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: appears in the quote below)_
- **Vendor:** Thales Alenia Space _(verified: appears in the quote below)_
- **Module name:** Thales Alenia Space cryptographic module for Microsemi RTAX FPGA _(verified: appears in the quote below)_
- **Module type:** Hardware _(verified: appears in the quote below)_
- **Validation date:** 11/02/2021 _(verified: appears in the quote below)_
- **Status:** Active _(verified: appears in the quote below)_
- **Standard:** FIPS 140-2 _(verified: appears in the quote below)_

## What the source says

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

## Source

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

Last verified: 2026-08-05. Review by: 2026-09-04.
Part of [FIPS 140 validated cryptographic modules: active, historical or revoked](https://referencesource.org/fips-140-module-validation-status/).