Prove & Run a pour mission de répondre aux problématiques de cybersécurité liées à l’usage des objets connectés et au déploiement de l’Internet des objets. La société a développé une technologie innovante unique (ProvenTools) à base de méthodes formelles, lui permettant de développer des composants logiciels certifiables au plus haut niveau de sécurité, sans équivalent sur le marché. Grâce à ProvenTools, la société prévoit de mettre à disposition un ensemble de briques logicielles (COTS) prêtes à être intégrées qui puisse constituer le socle de sécurité des architectures logicielles des systèmes embarqués et de l’Internet des objets.

Produits :
– ProvenCore : micronoyau certifiable pour la sécurisation de terminaux portables, tablettes, passerelles et objets connectés
– ProvenVisor : hyperviseur pour solutions de virtualisation sécurisée de l’internet des objets et des terminaux portables
– ProvenTools : environnement intégré pour le développement et la preuve de logiciels écrits en langage Smart