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

ProvenRun Joins RISC-V International as Strategic Member to Strengthen Trusted Security

RISC-V International is a non-profit organization that supports the free and open architecture of the RISC instruction set and its extensions.

Its goal is to contribute to the growth of the RISC-V ecosystem, promoting open community collaboration and visibility of RISC-V successes.

ProvenRun, like many OEMs and chip designers, is convinced of the potential of the RISC-V architecture for embedded systems. By joining RISC-V International as a strategic member, ProvenRun becomes an actor of the technical direction that RISC-V can take, reminding that security is more important than ever. By already providing it’s ultra-secure operating system ProvenCore to the RISC-V architecture (a.k.a Trusted Execution Environment or TEE), ProvenRun express its interest in the RISC-V ecosystem and strengthen it with a secure component for the trusted computing base (TCB) that OEMs and device makers can use to achieve up to the highest level of security certification for RISC-V based products.



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