Taipei, Taiwan – Dec. 18, 2024 – Andes Technology Corporation (TWSE: 6533), the leading supplier of RISC-V processor IP, and ProvenRun, the leading secure OS vendor for connected vehicles and smart devices, announce their partnership to offer ProvenRun’s formally proven Secure OS and Trusted Execution Environment (TEE) on Andes’ RISC-V processors.
As security threats increase, device and data protection is critical for consumers and governments alike. Preventing information leaks and safeguarding systems from misuse requires embedded systems and IoT devices to integrate advanced security features. Hardware and software isolation, in particular, is essential to prevent unauthorized access to sensitive information in device memory.
Andes Technology has played a central role in enhancing RISC-V security standards, having chaired RISC-V International’s IOPMP (IO Physical Memory Protection) task group and co-chaired the TEE (Trusted Execution Environment) task group. These efforts resulted in the IOPMP specification that provides the hardware isolation mechanisms needed to secure hardware, as well as a secure monitor and TEE to use this hardware to allow OS and applications to run protected from each other and malicious code.
ProvenRun’s ProvenCore is the only OS certified at ISO/IEC 15408 Common Criteria Evaluation Assurance Level 7 (EAL7) – the highest recognized level of security assurance, achieved through rigorous testing, analysis, and formal methods. It is suitable for the high-risk, mission-critical environments, including critical infrastructure, financial systems, automotive, aerospace, and defense.