The HENSOLDT Cyber MiG-V is a general purpose, logic-encrypted processor, Made in Germany, targeting high-security applications. Logic encryption hinders the insertion of hardware Trojans, giving HENSOLDT Cyber the full control of the design and production chain. The CPU is based on a 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