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
paid
Website
https://provenrun.com/

Replaces

ProvenRun is an alternative to: Thales

Related Cybersecurity Companies

  • Mullvad VPN - Privacy-focused VPN provider.
  • TandemTrace - TandemTrace provides intelligent AI agents designed to augment SecOps teams by autonomously triaging
  • Myra Security - DDoS protection and web application security.
  • Ansvar Systems AB - Open-source legal and compliance data for AI agents. Enterprise-grade threat modeling for product te
  • TWINSOFT GmbH & Co. KG - The TWINSOFT IT status report provides a continuous analysis of a company's current IT threat and se
  • Cyberakademie - Provides NIS2 and GDPR-compliant cybersecurity training and awareness programs for employees to meet