Paris, France – September 13th, 2019 – Prove & Run, a leader in embedded security, announces that its flagship product, ProvenCore for ARM™ Cortex-A, has recently obtained a Common Criteria (CC) EAL7 certification. This is a world premiere as there is no other OS or Trusted Execution Environment (TEE) at that level of security. As a comparison, the next most secure TEE on the mobile security market – for the very few that have been certified – only reached the EAL2+ level.
ProvenCore is a formally proven secure OS for ARM Cortex-A, ARM Cortex-M and RISC-V processors. It is also a next-generation ultra-secure TEE. Receiving a CC EAL7 certification for ProvenCore showcases the unique security expertise of Prove & Run’s team for delivering highly secure software components such as OSs and hypervisors. EAL7 is the highest level defined by the Common Criteria certification scheme and offers an extremely important increase in security assurance compared to EAL2+. Providing such a high level is a must when willing to withstand remote cyberattacks for devices whose massive compromise would lead to high losses.
It is also a key milestone for being able to develop secure-by-design connected devices in many IoT sectors (automotive, railways, aeronautics, energy, industrial, medical, etc.) in a cost-effective way:
A copy of the certificate is available [1].
Dominique Bolignano, President and Founder of Prove & Run: “ProvenCore is the first OS/TEE to be formally proven down to the generated code. The proof also covers all of the essential parts of the OS/TEE as ProvenCore’s Trusted Computing Base is also proven. Those are two world premieres and we are extremely proud to have achieved this outstanding milestone. With ProvenCore, Prove & Run brings to the market a solution that provides a distinctively higher security level and a lower cost of security than any existing solutions for connected and mobile devices.”
PROVE & RUN
Prove & Run’s mission is to help its customers resolve the security challenges linked to the large-scale deployment of connected devices and of the Internet of Things by providing cost effective off-the-shelf software solutions that dramatically improve the level of security of connected systems so as to protect them against remote cyber-attacks. Further information can be found at www.provenrun.com [2].Media Contact
Christophe Pagezy, Co-CEO
[3]
+33 1 75 77 55 51
Article printed from Prove & Run: https://www.provenrun.com
URL to article: https://www.provenrun.com/news/provencore-secure-os-achieves-eal7-common-criteria-certification/
URLs in this post:
[1] available: https://www.provenrun.com/prove-run-provencore-1-0-certificat-cc-eal7/
[2] www.provenrun.com: http://www.provenrun.com/
[3] : mailto:
Click here to print.
Copyright © 2020 Prove & Run. All rights reserved.