Prove & Run

Localisation : PARIS (75)
Créé en : 2009
Effectif : 30
Dont PACA : 12

Cybersécurité

Offres

Cybersecurité

ProvenCore, OS de sécurité pour composants embarqués d’un REI (les capteurs, passerelles et compteurs). Permet de résister aux attaques à distance les plus sophistiquées et malveillantes. Indispensable pour toute architecture sécurisée résiliente. S’insère dans des systèmes existants sans modifications des architectures logicielles ou matérielles. Base pour exécuter les fonctions sensibles (amorçage sécurisé et mise à jour du firmware, chiffrage des données, stockage des clés de chiffrage, filtrage des communications). Obtention des certifications de sécurité de type «Critères Communs» facilitée. Réduit les coûts d’implémentation et maintenance (élimine des classes entières de problème), limite le besoin de mise à jour des équipements déployés (ex : mise à jour sécurisée à distance rend inutile interventions physiques). Augmente la flexibilité d’un REI (permet mise à jour plus fréquentes et déploiement de nouvelles fonctions).

Références

– Appel investissement d’Avenir :
CEEC (Certification d’Environnements d’Exécution de Confiance, fin en 2015) Leader : Prove & Run; partenaires : Esterel Technologies, Trusted Labs et INRIA.
SolidCore : Solution de sécurisation des terminaux mobiles du marché grand public pour un usage mixte personnel / professionnel. Sécurité prouvée et certifiable à un haut niveau. Leader : Prove & Run ; partenaires : Archos, MicroEJ et Transatel
S3P : Définir un ensemble de briques de base pour développement de systèmes embarqués. Prove & Run co-leader. Projet ambitieux (45M€ et 300 pers-ans), acteurs majeurs du secteur (Thales, CEA, Airbus, Alstom, Schneider…) et PME (Trust-in-Soft, Krono-Safe et Prove & Run).
– Eurostars : EPPS (début 06/15) Développement d’un hyperviseur pour la sécurisation des terminaux mobiles des personnels de la sécurité civile et d’intervention d’urgence. Partenaires: Elektrobit (Finlande), GSMK et l’université TU Berlin (Allemagne).
– Celtic : ODSI Apporter des propriétés d’isolation fortes à des appareils embarqués de très faibles capacités. Leader : Orange, avec des académiques (LIFL), des PMEs (CityPassenger et Prove & Run), et industriels espagnols et roumains.

Points forts :

Contrairement aux OS traditionnels, offre un environnement d’exploitation résiliant pour faire face aux attaques à distance les plus sophistiquées; les fonctions sensibles peuvent s’exécuter sans être sujets aux attaques :
– Micronoyau de taille minimale pour réduire la base de confiance. Ne propose que des fonctions de base de gestion des ressources (dont les processus et la mémoire). ProvenCore s’exécute en mode noyau, tous autres processus (inclus drivers de périphériques) s’exécutent en mode utilisateur.
– Applications ProvenCore hors base de confiance : Micronoyau vérifie toutes les interactions entre ces applications et avec le monde extérieur. Limite l’exploitation d’une application malicieuse par un attaquant.
– Mesures d’assurance élevées : conformité aux propriétés de confidentialité et d’intégrité (couvre jusqu’au code source de ProvenCore). Objectif de certification EAL7+ et se rapprocher du « zéro-défaut» (niveau d’évaluation jamais atteint hors carte à puce et serait une première mondiale).
– Disponible sur les architectures ARM™ Cortex™-A et ARM™ Cortex™-M v8
– OS de sécurité s’exécutant dans la TrustZone™ du processeur d’un équipement connecté. TrustZone permet de définir deux modes d’exécution du processeur au niveau matériel : un « Monde Sécurisé » (ProvenCore), d’un « Monde Normal » ( OS riche et non sécurisé ex : Linux ou Android).
– Faible coût marginal, quasi transparent pour le Linux, l’Android ou le RTOS embarqué.

Famille

Entité

Prove & Run

Informatique

Compétences

Cybersécurité