• The partnership will provide solutions to integrated circuits (IC) vendors that require System-on-Chip (SoC) designs with highly robust and fully verified security and safety features 
  • The solution leverages Kudelski’s Integrated Secure Elements, RISC-V-based Secure Enclave IPs and Veriest’s  dynamic and formal verification capabilities to achieve Common Criteria EAL 5+ 
  • The companies cover the entire span of system design, integration and verification, and provide products and services that accelerate complex IC tape-out

Cheseaux-sur-Lausanne, Switzerland, Phoenix (AZ), USA and Petach Tikva, Israel, December 8, 2020  The Kudelski Group (SIX: KUD.S), the world leader in digital security and Internet of Things (IoT) solutions, and Veriest Solutions, a global leader in SoC design, today announced a joint solution for IC designers to enable efficient integration of secure elements, including RISC-V-based Security Enclaves that are Common Criteria certified, formally verified and targetted at security and safety applications.

With the explosive growth of IoT deployments globally, security has become one of the biggest concerns for both IoT device and ecosystem creators as well as users. SoC designs increasingly rely on on-chip, physically isolated Security Enclaves to guarantee resilience to physical and side channel attacks intended to compromise such systems. Such an architecture enables a clear separation between security applications and more general functional applications, and avoids giving easy entry points to attackers. It provides a secure anchor (root of trust) upon which devices can build their trust chain and ensure the integrity of IoT data.

Kudelski has leveraged its nearly 30 years of experience in designing secure hardware to provide a turnkey solution based on RISC-V that is highly secure and optimized for integration into leading-edge design flows. It provides a robust hardware root of trust and contains cryptographic services to enable many trusted functions. It also provides optimzed support for external flash-based systems that can be certified at Common Criteria EAL 5+ level with full support from Kudelski during the certification process. Veriest provides design-in support and full dynamic and formal verification of such Security Enclaves, thereby enabling customers to obtain the highest level of certification and assurance for their upcoming SoC designs. 

“The industry has been exploring RISC-V for many security applications and now the availability of certified and fully verified solutions will accelerate this movement. This solution is an industry first. Finally, IC vendors can select an independent security technology with the added benefits of full compatibility with the RISC-V eco-system while also attaining the highest standards of verification.

Hardy Schmidbauer, SVP IoT for the Kudelski Group

“We have seen increased interest among our customer base for security and safety solutions. Additionally, the open RISC-V architecture enables unprecedented levels of customization and optimization, especially for IoT and edge devices. However, seamless integration of such customized solutions into different SoC projects requires flawless execution and expert verification practices, both dynamic and formal. Veriest is pleased to collaborate with Kudelski – a recognized leader in security silicon technology – to make such solutions available.” 

Moshe Zalcberg, Veriest’s CEO

The combination of Veriest and Kudelski’s leading positions within their respective areas of excellence will ensure that the utmost quality of service and security is delivered to IC vendors worldwide.