Taipei, Taiwan, December 18, 2024 — Andes Technology Corporation, a leading RISC-V processor IP provider, and ProvenRun, a top secure OS vendor for connected vehicles and smart devices, have partnered to integrate ProvenRun’s formally verified Secure OS and Trusted Execution Environment (TEE) with Andes’ RISC-V processors.
The rising threat landscape necessitates robust device and data protection for consumers and governments. Preventing data breaches and safeguarding systems against misuse demands that embedded systems and IoT devices incorporate advanced security features. Hardware and software isolation is crucial for preventing unauthorized access to sensitive data stored in device memory.
Andes Technology has been instrumental in advancing RISC-V security standards, having led RISC-V International’s IOPMP (IO Physical Memory Protection) task group and co-led the TEE (Trusted Execution Environment) task group. This work culminated in the IOPMP specification, providing the hardware isolation mechanisms needed for hardware security, along with a secure monitor and TEE enabling protected execution of OS and applications, isolating them from each other and malicious code.
ProvenRun’s ProvenCore OS holds the ISO/IEC 15408 Common Criteria Evaluation Assurance Level 7 (EAL7) certification—the highest security assurance level—demonstrating its rigorous testing, analysis, and formal verification. It’s ideal for high-risk, mission-critical applications across critical infrastructure, finance, automotive, aerospace, and defense sectors.
This collaboration delivers a highly secure platform: ProvenRun’s Common Criteria EAL7-certified TEE and OS running on a system integrating Andes IOPMP with Andes RISC-V processors.
“ProvenRun provides the market’s most secure TEE and OS for ARM and now RISC-V architectures,” stated Thierry Chesnais, ProvenRun CEO. “Andes’ RISC-V security leadership and extensive RISC-V IP portfolio make them the ideal partner for deploying ProvenCore in highly secure environments.”
“Andes RISC-V IOPMP IPs offer unique and competitive security benefits to our RISC-V processor customers,” said Samuel Chiang, Andes Technology’s marketing director. “Our partnership with ProvenRun enables us to provide robust solutions for trusted execution environment product development. We’re excited to collaborate with ProvenRun as they introduce ProvenCore to the RISC-V community, boosting performance and resilience for security-focused RISC-V applications.”
About Andes Technology
As a Founding Premier member of RISC-V International and a leading commercial CPU IP provider, Andes Technology (; ; ) is spearheading global RISC-V adoption. Andes’ extensive RISC-V Processor IP portfolio ranges from highly efficient 32-bit CPUs to high-performance 64-bit Out-of-Order multiprocessor coherent clusters.
With advanced vector processing, DSP capabilities, the powerful Andes Automated Custom Extension (ACE) framework, a complete AI hardware/software stack, ISO 26262 certification, and a robust software ecosystem, Andes unlocks RISC-V’s full potential, enabling customers to accelerate innovation across AI, automotive, communications, consumer electronics, data centers, and mobile devices. Over 15 billion Andes-powered SoCs are driving global innovation.
Discover more at and connect with Andes on , , and
About ProvenRun
ProvenRun offers the most secure foundation for smart connected devices across chip, device, edge, and cloud levels. Leveraging extensive expertise in formal methods and security applications, ProvenRun’s operating systems and trusted applications run on MCUs/MPUs for both ARM and RISC-V, addressing challenges posed by the IoT revolution while significantly enhancing protection against remote cyberattacks. Automakers and IoT device manufacturers can achieve top-tier cybersecurity, accelerate application development and certification, meet upcoming regulatory needs, and substantially reduce lifecycle maintenance costs. For more information, please visit . Follow ProvenRun on .
CONTACT: Hsiao-Ling Lin hllin@andestech.com
“`