Eric from ProvenRun introduces his company’s services in the IoT market, which are focused on helping customers secure their devices. ProvenRun helps customers identify their security risks, implement the right security architecture, and succeed in their cybersecurity certification process. ProvenRun’s flagship product, ProvenCore, is a secure microkernel that has been certified at the highest security possible level (Common Criteria EAL7) and is the first of its kind for Cortex-A and RISC-V 64-bit processors. ProvenRun also provides highly secure products for smaller devices based on MCUs, such as a secure hypervisor. Eric discusses the challenges of developing such a secure operating system and the formal methods used to prove the mathematical correctness of the kernel and its cybersecurity functionality. The company has a long experience in this field, with the CEO and founder Dominique Bolignano having invented the concept of the Trustee Execution Environment over 20 years ago. Eric also highlights some of ProvenRun’s partnerships, including with ST Microelectronics, and the real-life products they have developed using ProvenCore for security. The video also discusses the open-source solutions available for secure execution environments. (chatgpt generated description based on auto subtitle)
filmed at Embedded World 2023 in Nuremberg Germany
This video was recorded as part of my Embedded World 2023 day 3 Livestream here: https://youtu.be/veLiINwb_9Y?t=7857
Watch all my Embedded World videos here: https://www.youtube.com/playlist?list=PL7xXqJFxvYvjgUpdNMBkGzEWU6YVxR8Ga
