ProvenRun

ProvenRun provides ultra-secure software solutions and operating systems for connected devices, leveraging formal verification to ensure high-level security for IoT and automotive industries.

Company Details

Category
Cybersecurity
Headquarters
Paris, France
Data Hosting
Global
Open Source
No
Pricing
enterprise
Website
https://provenrun.com/

About ProvenRun

ProvenRun is a French cybersecurity company that develops secure-by-design operating systems and hardware security modules. The product suite includes ProvenCore, a formally verified micro-kernel and Trusted Execution Environment (TEE), and ProvenHSM, a programmable trust platform for managing cryptographic services and sensitive applications. These solutions serve industries including automotive, defense, and cloud infrastructure. The technology supports post-quantum cryptography, confidential computing, and eIDAS compliance for digital identities and wallets.

Replaces

ProvenRun is an alternative to: thales

Related Cybersecurity Companies

  • AgentRidge - European desktop software for authorized pentests with local AI agents and PDF reports.
  • RoboShadow - RoboShadow provides a cyber security platform for tracking external vulnerabilities and managing Zer
  • Sekoia.io - Sekoia.io is the European cybersecurity technology company, leading provider of detection and respon
  • MindYourPass - MindYourPass is a password management solution for private and business use. For private use it is a
  • Threat Landscape - Threat Landscape is a threat intelligence SaaS suite containing threatlandscape.io and threatlandsca
  • Rexilience S.r.l. - mySCORE.is provides Cyber security Rating and Compliance Risk Evaluation platform to help companies