
Solutions de Cybersécurité des Objets connectés
Prove & Run est un éditeur de logiciels destinés à protéger les systèmes connectés contre les cyber-attaques. La société a mis au point une technologie à base de méthodes formelles permettant de développer à des coûts industriels des composants complexes (systèmes d’exploitation, hyperviseurs) formellement prouvés et certifiables au plus haut niveau d’assurance, qui doivent être utilisés pour protéger les systèmes industriels et objets connectés contre les attaques à distance.
In English — Proven Software to secure the IoT
Source : Données publiques des entreprises (INSEE, RNE) · vérifié le 30/10/2026
Prove & Run est un éditeur de logiciels destinés à protéger les systèmes connectés contre les cyber-attaques. La société a mis au point une technologie à base de méthodes formelles permettant de développer à des coûts industriels des composants complexes (systèmes d’exploitation, hyperviseurs) formellement prouvés et certifiables au plus haut niveau d’assurance, qui doivent être utilisés pour protéger les systèmes industriels et objets connectés contre les attaques à distance.
Prove & Run, Directeur General