Provenrun
Security operating system and hardware security module (HSM) for embedded, cloud and eIDAS systems, sold to device and infrastructure makers
Highlights
- New on EvolcAdded 2026-10-28
About Provenrun
ProvenRun develops ProvenHSM, a network hardware security module for managing keys and running cryptographic services, and ProvenCore, a formally verified microkernel operating system certified to Common Criteria EAL7. The company also offers a QSCD device, an SDK for identity, MPC and blockchain use cases, and a set of trusted applications.
The company sells to manufacturers and operators of connected devices, cloud infrastructure, automotive and defence platforms, and fintech and digital identity providers. A customer story on its site cites Bull, a data-centre server OEM, using ProvenCore in its BullSequana platform.
ProvenRun is a French SAS founded in 2009 and headquartered in Paris. Its leadership listed on the site includes a President, a CEO and VP-level roles for business development and products. The site advertises spontaneous applications and describes its team as engineers and researchers in formal methods and embedded systems.
Product: ProvenHSM network hardware security module, ProvenCore certified operating system, QSCD, SDK and trusted applications
Jobs at Provenrun
Leadership
- Dominique Bolignano · PresidentSource: company website
- Thierry Chesnais · CEOSource: company website
- Julien Bingen · VP Business DevelopmentSource: company website
- Philippe Cau · VP ProductsSource: company website
More cybersecurity companies
Psswrd
Cybersecurity consultancy in Paris offering IAM, PAM, GRC, pentest and SOC services to companies in France, Belgium and LuxembourgYoung companyNew on EvolcQualys Technologies
Cloud-based cybersecurity and compliance platform for businesses and government agenciesNew on EvolcRemote-friendlyRed Alert Labs
IoT cybersecurity services and certification software for manufacturers and organizations buying or selling connected productsNew on EvolcRempart Cyber
Cybersecurity consulting, penetration testing and incident response for French companies, structured around the NIST frameworkYoung companyNew on EvolcRheneo
Independent cybersecurity consulting, integration, audit and training for businesses in digital transformationYoung companyNew on EvolcRiot Security
Employee security awareness and phishing simulation platform for company cybersecurity teams
Website technologies
Older, unverified list. Detection dates and supporting evidence are not yet available.
- Next.js
- React
- Tailwind CSS