MiG-V: First RISC-V Made in Germany with HW security features
In the context of an industry project, ICE contributed to the HENSOLDT Cyber MiG-V. This is a general purpose, logic-encrypted processor, Made in Germany and targeting high-security applications. Logic encryption hinders the insertion of hardware Trojans, ensuring full control of the design and production chain. The CPU is based on a 64-Bit RISC-V core and can be used together with the formally verified seL4 microkernel (hosted in the chip’s internal ROM) to create an ultra-secure solution.
More information can be found here: "Hardware Security: Secure Processor Design" Project Page