Thales Alenia Space cryptographic module for Microsemi RTAX FPGA
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 | active |
| Sunset date | 2026-09-21 |
| 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
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
| Algorithm | CAVP certificate |
|---|---|
| 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 active
- Validation dates on record: 2021-11-02