Prove & Run – Logiciels prouvés pour la sécurité de l’Internet des Objets

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 PROVE & RUN

• • ProvenTools : environnement intégré pour le développement et la preuve de logiciels écrits en langage Smart

• • 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

CONTACTS

Prove & Run (HQ)
77, Avenue Niel,
75017 Paris – FRANCE

Tel: +33 1 75 77 55 55

provenrun.com