ProvenRun

Description

ProvenRun développe des systèmes d’exploitation et des applications sécurisés pour les dispositifs embarqués critiques, notamment dans les secteurs de l’automobile, de l’aérospatial, de la défense et des semi-conducteurs. Son produit phare, ProvenCore, est le seul OS au monde à avoir obtenu la certification EAL7 selon les Critères Communs, garantissant une sécurité maximale grâce à des méthodes formelles de vérification mathématique. L’entreprise propose également ProvenCore-M, un RTOS sécurisé pour microcontrôleurs, certifié PSA/SESIP niveau 3, ainsi que ProvenVisor, un hyperviseur sécurisé pour la virtualisation des systèmes ProvenRun offre une suite d’applications de confiance (ProvenApps) couvrant des fonctions telles que le stockage sécurisé, la cryptographie, les mises à jour de firmware, les VPN, les pare-feux et la gestion des clés, permettant aux fabricants d’accélérer la certification et la mise en conformité de leurs dispositifs connectés. Ses services incluent également du conseil en architecture de sécurité, des analyses de risques, des outils de développement et un accompagnement à la certification. ProvenRun est implantée en France, en Allemagne et aux États-Unis, et a levé 15 millions d’euros en 2023 pour accélérer son développement, notamment dans le domaine de la cybersécurité automobile et des architectures RISC-V.

Mots-clés