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.
Comparatif basé sur les services et sous-segments communs dans l'annuaire CyberMarché — segment Infrastructure, Réseau & Endpoint.
| Acteur | Année | Taille | Région | Certifications | Sous-segments |
|---|---|---|---|---|---|
| ProvenRun (référence) | 2009 | 56 | Île-de-France | — | Sécurité industrielle & IoT |
| Seckiot | 2020 | 24 | Île-de-France | — | Sécurité industrielle & IoT |
| Aphelio | 2021 | 14 | Auvergne-Rhône-Alpes | — | Conseil, Audit & Stratégie Cyber, Protection de la donnée, Gestion de l'exposition (CTEM), Sécurité offensive & tests d'intrusion, Sécurité industrielle & IoT |
| Systancia | 1998 | 101 | Grand Est | — | Contrôle des accès et authentification, Réseau, Accès & Sécurité périmétrique (SASE), Sécurité industrielle & IoT |
| Aiotrust | 2023 | 4 | Auvergne-Rhône-Alpes | — | Sécurité industrielle & IoT |
| Parcoor | 2019 | 4 | Auvergne-Rhône-Alpes | — | Sécurité industrielle & IoT |
| IndustriOT | 2024 | 2 | Auvergne-Rhône-Alpes | — | Sécurité industrielle & IoT, Renseignement sur la menace (CTI), Sauvegarde & Reprise, Services managés, Sécurité offensive & tests d'intrusion |
| Secure-IC | 2010 | 135 | Bretagne | — | Sécurité industrielle & IoT |
| Wallix | 2003 | 264 | Île-de-France | — | Comptes à privilèges, Sécurité industrielle & IoT |
Seckiot est une entreprise française fondée en 2020, spécialisée dans la cybersécurité des systèmes industriels (OT) et des environnements XIoT (Extended Internet of Things). Elle propose une plateforme souveraine, modulaire et non intrusive, conçue pour offrir une visibilité complète sur les actifs, les flux réseau et les vulnérabilités des infrastructures critiques.
Voir la fiche →
Aphelio est une entreprise française spécialisée dans la cybersécurité des systèmes industriels, de sûreté et des infrastructures critiques. Elle propose des services de conseil, d'audit (conformité, intrusion, organisationnel) et d'accompagnement à la certification ISO 27001, ainsi que l'intégration et le durcissement d'équipements de sécurité.
Voir la fiche →
Systancia propose une plateforme unifiée pour la gestion des accès, la virtualisation des postes de travail et la sécurisation des environnements IT et OT, adaptée aux usages tels que le télétravail, l'infogérance et l'accès distant. La solution Systancia Workplace permet la virtualisation d'applications et de postes de travail, offrant un accès immédiat aux environnements de travail, que ce soit sur site ou dans le cloud, avec des fonctionnalités avancées telles que l'intégration de l'intelligence artificielle pour l'optimisation des performances.
Voir la fiche →
AIoTrust développe des dispositifs embarqués non-intrusifs pour la surveillance en temps réel des signaux électriques bruts (I/O) au niveau des capteurs et actionneurs industriels. Sa technologie permet de détecter immédiatement les écarts liés à des cyberattaques ou à des besoins de maintenance, sans modifier l’infrastructure existante.
Voir la fiche →
Parcoor est une entreprise lyonnaise fondée en 2019 par Denis et Manuel Capel, spécialisée dans la cybersécurité embarquée et l'intelligence artificielle pour les systèmes connectés. Elle développe des solutions logicielles modulaires destinées à renforcer la sécurité et la fiabilité des équipements IoT, industriels, médicaux, automobiles et aéronautiques.
Voir la fiche →
IndustriOT est un cabinet français expert en cybersécurité industrielle, fort de 25 ans d’expérience et engagé pour la souveraineté numérique des industries françaises et européennes. Il accompagne les acteurs industriels et les OIV dans la protection de leurs infrastructures critiques et la sécurisation de leurs systèmes connectés (industrie 4.0), avec une approche sur mesure.
Voir la fiche →
Secure-IC est une entreprise française fondée en 2010 à Rennes, issue d'un essaimage de Télécom Paris, spécialisée dans la cybersécurité des systèmes embarqués et des objets connectés. Positionnée comme « The Security Science Company », elle propose une plateforme de services de sécurité intégrée (iSSP) couvrant l'ensemble du cycle de vie des dispositifs, de la conception à la certification, en passant par la gestion des clés, la connectivité sécurisée et la surveillance post-déploiement.
Voir la fiche →
WALLIX propose une suite de solutions de gestion des accès et des identités visant à sécuriser les environnements informatiques et industriels. Sa plateforme phare, WALLIX PAM4ALL, offre une gestion unifiée des accès à privilèges, permettant de contrôler, surveiller et auditer les activités des comptes sensibles.
Voir la fiche →Source : annuaire CyberMarché — page générée le 2026. URL canonique : https://cybermarche.io/alternatives/provenrun/