ProvenRun
Publié le 07-12-2023 par Francois Gauthier
La société française ProvenRun, spécialiste des technologies de sécurité embarquées, vient de réaliser une levée de fonds en série A de 15 millions d’euros auprès de Tikehau Capital, via Brienne, son nouveau bras...
Publié le 10-03-2023 par Pierrick Arlot
Le français ProvenRun, spécialiste des technologies de sécurité embarquées, et la société SiFive, pionnière de l’architecture de processeur RISC-V, vont présenter sur le salon Embedded World 2023, qui se tient du 14 au 16 mars...
Publié le 27-09-2022 par Francois Gauthier
Le français ProvenRun, spécialiste des technologies de sécurité embarquées, annonce que son système d’exploitation sécurisé ProvenCore a été intégré à la technologie WorldGuard issue du fournisseur de...
Publié le 17-02-2022 par Francois Gauthier
Dans le cadre du soutien du gouvernement au développement de technologies cyber innovantes et critiques, financé par le plan France 2030, le projet CyberSafeOS du français ProvenRun a été sélectionné. La société est un...
Publié le 13-01-2022 par Francois Gauthier
Le français ProvenRun, spécialiste des technologies de sécurité embarquées, et la firme allemande Cinemo, focalisée sur les logiciels de streaming et de lecture multimédias pour l'automobile, ont annoncé lors du CES 2022 une...
Publié le 17-09-2019 par Francois Gauthier
Prove & Run, spécialiste des technologies reposant sur les méthodes formelles et mises en œuvre pour développer des composants logiciels certifiables à un très haut niveau de sécurité, annonce l'obtention de la certification Critères...
Publié le 23-05-2019 par Francois Gauthier
[EDITION ABONNES] Le français Prove & Run, spécialiste des technologies reposant sur les méthodes formelles et utilisées pour développer des composants logiciels certifiables à un très haut niveau...
Réservé aux abonnés
Publié le 14-03-2017 par Francois Gauthier
[EMBEDDED WORLD 2017] A l’occasion du salon Embedded World, qui se tient du 14 au 16 mars, STMicroelectronics et l’éditeur français Prove & Run, un fournisseur de solutions logicielles ultrasécurisées pour...
Publié le 01-03-2017 par Francois Gauthier
Dans les réseaux radio longue portée et basse consommation dédiés à la connexion d’objets, de machines et d’équipements divers et variés, la sécurité est désormais devenue un mot incontournable. Et aujourd’hui...
Publié le 30-01-2017 par Francois Gauthier
Remis lors de la 9e édition du salon FIC (Forum international de la cybersécurité) qui s’est tenu à Lille les 24 et 25 janvier derniers, le prix de la PME innovante 2017 est revenu cette année à la jeune société française Prove...
Publié le 12-01-2015 par Francois Gauthier
[SPECIAL ABONNES] Fragiles du fait de leur complexité croissante et ouverts à tous les vents en raison de leur niveau élevé de connectivité, les objets connectés posent de redoutables problèmes de sécurité. Une problématique...
Présentation
L'éditeur ProvenRun 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 reposant sur les méthodes formelles qui permet de développer des composants logiciels certifiables au plus haut niveau de sécurité. Grâce à ProvenTools, ProvenRun met à disposition un ensemble de briques logicielles sur étagère prêtes à être intégrées qui constituent le socle de sécurité des architectures logicielles des systèmes embarqués et de l’Internet des objets.
Fiche Entreprise
Date de création : 2009
Nationalité : France
Dirigeants : Dominique Bolignano et Christophe Pagezy