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 the European Processor Initiative (EPI) as Security Technology Partner

ProvenRun has been selected as a security technology partner of the EPI project.

ProvenRun joins as a partner the European Processor Initiative (EPI), a major European initiative whose objective is to design a new family of low-power processors for extreme scale computing, high-performance Big-Data and a range of emerging applications. The EPI project gathers 26 participants and is financed by the European Union under the Horizon 2020 programme.

Dr. Dominique Bolignano (CEO) has also assumed the role of the Global Security Technical Leader for the EPI project.

Further details about the EPI project can be found on the official EPI website.


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

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.