ProvenRun Nominated for Embedded Award 2020 for ProvenCore Security Excellence

ProvenRun has been nominated for the embedded award 2020 in the Safety & Security category for its Common Criteria (CC) certification of ProvenCore for ARM™ Cortex-A. The award nominees have been selected by an international and independent jury of experts. The award pays tribute to especially innovative products or development that are unique and future oriented and will be presented at the embedded world 2020 exhibition to be held 25-27 of February 2020 in Nuremberg, Germany.

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. This certification is a world première 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.

Providing such a high level of security is a must when willing to withstand remote cyberattacks for devices whose massive compromise would lead to high losses, which is typically the case for connected devices in the automotive, railway, aeronautic, energy, industrial and medical sectors, among others.

Receiving a CC EAL7 certification for ProvenCore also showcases the unique security expertise of ProvenRun’s team for delivering highly secure software components such as OSs and hypervisors. 

“The recognition granted to us by this nomination is a tremendous encouragement” explains Dominique Bolignano, President and Founder of ProvenRun, “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 premières and we are extremely proud to have achieved this outstanding milestone. With ProvenCore, ProvenRun 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”.