TrustKernel TEE OS 2.0, the trusted execution environment operating system, has achieved Common Criteria (CC) EAL4+ certification, confirming that it meets internationally recognized high-assurance security requirements. The certification validates TrustKernel TEE OS 2.0 across key dimensions including security architecture design, implementation quality, resistance to attack, and lifecycle security processes.

CC EAL4+: An Internationally Recognized High-Assurance Security Certification

Common Criteria (CC) is currently the most authoritative and widely recognized IT product security evaluation standard worldwide, and is extensively applied to operating systems, chips, security modules, and critical infrastructure. Among its assurance levels, EAL4+ is regarded as a high-level certification that achieves an effective balance between security robustness and engineering feasibility. It requires products to be developed on the basis of comprehensive security objectives, threat modeling, and protection mechanisms, and to undergo rigorous design analysis, source code review, functional testing, and penetration validation.

Achieving CC EAL4+ certification not only indicates that the product itself incorporates a mature, robust security architecture and reliable protection capabilities, but also demonstrates the organization's systematic competence in secure development processes, configuration management, vulnerability handling, and ongoing security maintenance.

Deployed on Over 1 Billion Devices Worldwide

TrustKernel TEE OS has been commercially deployed across a wide range of devices, including smartphones, IoT products, and automotive systems, with cumulative deployments exceeding 1 billion devices.

Its security capabilities have been validated through long-term operation in large-scale, real-world production environments. This extensive deployment history demonstrates the system's stability, reliability, and engineering maturity across complex hardware–software ecosystems and diverse threat scenarios, providing a strong practical foundation for CC EAL4+ certification.

TrustKernel TEE OS 2.0: A Trusted Execution Environment for Critical Use Cases

TrustKernel TEE OS 2.0 is a lightweight trusted operating system built on chip-level hardware security mechanisms. It operates in the secure world of the processor and maintains strict hardware-level isolation from general-purpose operating systems such as Android and Linux. The system is designed for smartphones, IoT devices, in-vehicle systems and other intelligent endpoints, delivering a system-level trusted execution environment for high-security use cases including biometric authentication, mobile payments, digital car keys and device identity verification.

Leveraging hardware-based Root of Trust and Minimal Trusted Computing Base (TCB) design, TrustKernel TEE OS 2.0 effectively safeguards sensitive data and critical logic in complex attack environments. It significantly reduces the system's attack surface, establishing a robust and verifiable security foundation for end devices.

Continued Investment in Verifiable Security

Achieving CC EAL4+ certification marks an important milestone in TrustKernel's long-term commitment to trusted computing and system security. Ahead, TrustKernel will continue to invest in TEE technologies, hardware-based security and system-level security innovation, further enhancing the security, stability and scalability of its products. The company remains dedicated to providing customers across mobile devices, automotive systems and IoT deployments with a more trustworthy and reliable security foundation.