January 8, 2024News

ProvenRun participates to secure on-board communications on Ampere’s future SDV platforms

ProvenRun participates to secure on-board communications on Ampere's future SDV platforms. Paris, 8th January 2024Through a strategic collaboration, ProvenRun co-develops and provides cybersecurity IP to protect onboard communication on future Software Defined Vehicle (SDV) Platforms for Ampere, the first European

December 6, 2023News

ProvenRun secures €15 million Series A to accelerate its growth in security-by-design for the Internet of Things (IoT)

ProvenRun secures €15 million Series A to accelerate its growth in security-by-design for the Internet of Things (IoT) Paris, 6th December 2023 - ProvenRun, the cybersecurity software company, announces a successful €15 million fundraising round. This investment is led by

Read More
November 9, 2023Blog

Cybersecurity for the IoT: How Trust Can Unlock Value

Cybersecurity for the IoT: How Trust Can Unlock Value Currently, IoT is at a crossroads, facing a decision between continued incremental value in siloed clusters or unlocking massive value as a fully interconnected ecosystem. The integration of IoT and cybersecurity

Read More
October 17, 2023Blog

Formal Methods: The Optimal Approach for Developing Secure Operating Systems in Embedded Devices

Formal Methods: The Optimal Approach for Developing Secure Operating Systems in Embedded Devices In the realm of cybersecurity for embedded devices, the development of a secure operating system (OS) is a critical challenge. Among various techniques, formal methods have emerged

Read More