Reference Source

4676

For 4676, vendor is Thales Alenia Space; module name is Thales Alenia Space Cryptographic Module for Microsemi RTG4 FPGA; module type is Hardware; validation date is 02/08/2024; status is Active, verified against its source on 2026-08-05.

Certificate number
4676
Vendor
Thales Alenia Space
Module name
Thales Alenia Space Cryptographic Module for Microsemi RTG4 FPGA
Module type
Hardware
Validation date
02/08/2024
Status
Active
Standard
FIPS 140-3
Sourcecsrc.nist.gov
Verified2026-08-05
Review by2026-09-04
DatasetFIPS 140 validated cryptographic modules: active, historical or revoked

What the source says

4676 | Thales Alenia Space | Thales Alenia Space Cryptographic Module for Microsemi RTG4 FPGA | Hardware | 02/08/2024 | Active |

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

Source

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