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 GAIA-X to Raise Security and Trust in Cloud Services

ProvenRun has joined GAIA-X as Day-1 Member and will work with the other GAIA-X members to bring a higher level of security and trust to cloud services.

GAIA-X is a key initiative aiming at defining the next generation of data infrastructure aligned with European values: an open, transparent and secure digital ecosystem, where data and services can be made available, collated and shared with trust. Representatives from business, science and politics from European countries are creating a federated system that meets the highest standards of digital sovereignty while promoting innovation.

ProvenRun has been honoured to receive an invitation for Dominique Bolignano, ProvenRun’s President and Founder, to speak at the first GAIA-X Summit. He used this opportunity to present ProvenRun’s motivation for participating to GAIA-X.  

Indeed, while the benefits of cloud computing are very clear to private and public entities, organisations are still reluctant to fully trust a cloud service for their most sensitive data. Even the best legal garanties cannot address legitimate concerns about software complexity, backdoors and rogue administrators. At ProvenRun, we have developed a technical solution that brings complete transparency, audibility and certifiability to cloud services. With this solution, we intend to work with the other GAIA-X members to deliver a higher level of security and trust to cloud services.

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