Thales Alenia Space cryptographic module for Microsemi RTAX FPGA
Thales Alenia Space cryptographic module for Microsemi RTAX FPGA, from Thales Alenia Space, holds FIPS 140-2 certificate #4065 at overall level 1. The validation is historical: agencies may keep the module in existing systems but not buy it new. Below are its algorithm certificates, its validation history, and the list moves this tracker has observed, which NIST does not date.
Caveat: When installed, initialized and configured as specified in Section 12.4 of the Security Policy.
Certificate
| Certificate number | 4065 |
|---|---|
| Standard | FIPS 140-2 |
| Status | historical |
| Overall level | 1 |
| Module type | Hardware |
| Embodiment | Multi-Chip Embedded |
| Vendor | Thales Alenia Space · website |
| Hardware versions | RTAX2000S FPGA; 28C010T EEPROM |
| Firmware versions | 3.32.00; 3.32.04 |
Module description
Quoted from the NIST CMVP entry for this certificate.
Cryptographic module encrypt and decrypt input packets, using one of the thirty two possible keys. There are several TC/TM to check: status, number of packets correctly deciphered, number of ciphered packet, etc. There are three UART interfaces for: ground, key and housekeeping (the last one has a redundant interface).
Security level exceptions
- Mitigation of Other Attacks: N/A
Approved algorithms (1)
| Algorithm | CAVP certificates |
|---|---|
| AES | A1721 |
Tested configurations
- N/A
Validation history
| Date | Type | Lab |
|---|---|---|
| 2021-11-02 | Initial | DEKRA Testing and Certification S.A.U |
Status timeline
As observed by this tracker's snapshots. NIST publishes no dates for list moves; observation began 2026-08-21, so earlier changes carry no date.
- 2026-08-21: first observed by this tracker, status historical at the time of the earliest snapshot
- 2026-09-22: observed moving from active to historical
- Validation dates on record: 2021-11-02