Login
User Agreement & LicensingPrivacy Policy
FIPS 140-3
Common Criteria EAL5+

Products

  • ProvenHSM
  • ProvenBox
  • Native Security Applications
  • Software Developer Kit (SDK)
  • ProvenCore OS and TEE
  • ProvenVisor

Use Cases

  • Data Protection
  • PQC Migration
  • Key Management & Cloud KMS
  • Confidential Computing
  • Finance Innovation
  • Digital Signature (eIDAS 1.0)
  • Wallet & Identity (eIDAS 2.0)
  • Multi-Party Computation (MPC)
  • Enterprise PKI
  • Strengthening HPC Platforms

Resources

  • Blog and Whitepapers
  • Security and Certifications
  • Integrations

Company

  • Careers
  • About

In this article :

  • Innovative Protocol Breaker for Enhanced Security
  • Top Cybersecurity Technologies in the Protocol Breaker: Rust and ProvenCore
  • A Milestone in Automotive Cybersecurity
  • Live Demonstration at CES in Las Vegas

ProvenRun Secures On-Board Communications on Ampere SDV Platforms for Autonomous Vehicles


ProvenRun’s security IP, co-developed with Ampere software & systems teams, creates a secure data transfer environment, ensuring reliable vehicle system operations, for high-speed data transfer, crucial for advanced vehicle features like autonomous driving and real-time navigation such as Software Defined Vehicles.


Innovative Protocol Breaker for Enhanced Security


The solution is a state-of-the-art protocol breaker, designed to reduce vulnerability exposure significantly and ensure seamless Ethernet-based communication (the vital infrastructure for high speed data transfer used in SDV). 

The protocol breaker separates and isolates two communication segments: the “Front” and the “Back”:

  • The Front segment interfaces with connected and exposed ECUs. It acts as the first line of defense, scrutinizing all incoming data for integrity and authenticity. This segment ensures that only secure and verified communications are passed on to the critical systems of the vehicle.
  • The Back segment, on the other hand, interacts with the vehicle’s critical systems. It ensures that the data received from the Front segment is appropriately formatted and safe for these systems to process. This segment plays a vital role in maintaining the operational integrity of the vehicle’s core functions like steering, accelerating, braking. 

This design facilitates a robust and secure communication pathway between ECUs of different safety criticalities, which is essential in an environment where a myriad of functions, from basic vehicle control to advanced driver-assistance systems, coexist. 


Top Cybersecurity Technologies in the Protocol Breaker: Rust and ProvenCore


This protocol breaker embodies the fusion of two powerful tools: the Rust programming language and ProvenCore secure operating system:


  • The Protocol Breaker’s development harnesses the power of the Rust programming language, renowned for its emphasis on memory safety and concurrency. Rust’s unique memory management approach effectively mitigates common vulnerabilities exploited in cybersecurity attacks.
  • With its prestigious Common Criteria EAL7 certification (a world premiere), ProvenCore represents the pinnacle of operating system security. It provides formally proven isolation between the ‘Front’ and ‘Back’ segments of the protocol breaker, which is critical to prevent potential breaches and maintaining the integrity of critical vehicle functions. ProvenCore’s robust security features play a vital role in the protocol breaker, enabling it to act as a reliable and secure mediator in the vehicle’s communication network.


A Milestone in Automotive Cybersecurity


The collaboration between ProvenRun and Ampere demonstrates a significant leap in automotive cybersecurity. This partnership, in line with the Ampere horizontal strategic approach, harnesses ProvenRun’s specialized cybersecurity expertise and Ampere’s cutting-edge vehicle software architecture to present a new horizon for highly connected and secure vehicle experiences.


To Henry Bzeih, VP Software & Systems at Ampere, “ProvenCore OS EAL7 certification has no equivalent on the market which is a concrete proof of excellence. It convinced us to use their product but moreover to co-create IP with them! ProvenRun cybersecurity competences joint to Ampere software expertise will allow our SDV platform introduction while ensuring a secure by design approach. This unique partnership marks a crucial step, reflecting a shared dedication to secure innovative solutions in the automotive industry.”


Live Demonstration at CES in Las Vegas


In a move to further showcase the practical application and effectiveness of the protocol breaker, ProvenRun is excited to announce that they will be presenting a live demonstration of it at the Consumer Electronics Show (CES) in Las Vegas. This demonstration will provide an excellent opportunity for attendees to experience firsthand the advanced capabilities of the protocol breaker in a real-world setting. 


Thierry Chesnais, CEO of ProvenRun, expressed excitement about his presence at the CES and the upcoming demo: “The live demonstration at CES is not just a demonstration of technological prowess, but a testament to the commitment we share with Ampere to advancing automotive security. Seeing our joint solution in action at such a prestigious event will highlight the tangible benefits of our collaboration.”


ProvenRun invites all interested parties to join us at CES in Las Vegas for this exciting showcase, where the future of automotive cybersecurity will be on full display. 

Our others articles :

  • ai

    An HSM protects cryptographic keys. But nobody actually wants protected keys; they want the things keys make possible — payments that cannot be forged, identities that cannot be usurped, signatures that stand up in court, updates that cannot be hijacked.

  • RIP Legacy HSM, Enter ProvenHSM

    A side-by-side look at how ProvenHSM compares with legacy network HSMs across operations, cloud readiness, crypto agility, extensibility, multi-tenancy, TCO, and business model

  • Abstract mathematical structures transition through flowing lines into a rack appliance

    ProvenRun spent 15 years proving low-level software correct. Here's why the team behind the world's only EAL7-certified OS decided its next product had to be a cloud-operated hardware security module.

Explore ProvenHSM
Bull Logo
Safran Logo
BMW Logo
DGA Logo
Atos Logo
Renault Logo
Microsoft Logo
Orange Logo
OVH Cloud Logo
ST Microelectronics Logo
Bull Logo
Safran Logo
BMW Logo
DGA Logo
Atos Logo
Renault Logo
Microsoft Logo
Orange Logo
OVH Cloud Logo
ST Microelectronics Logo
Bull Logo
Safran Logo
BMW Logo
DGA Logo
Atos Logo
Renault Logo
Microsoft Logo
Orange Logo
OVH Cloud Logo
ST Microelectronics Logo