A propos
Introduction
ProvenRun conçoit des logiciels de sécurité certifiés pour les systèmes critiques. Grâce à une expertise reconnue en méthodes formelles et en évaluation de sécurité, nous accompagnons les acteurs du cloud, des télécoms, de l’IoT, du web3, de l’automobile et de la défense dans la construction d’une c
Presentation
Fondée en 2009, ProvenRun est un éditeur de logiciels de sécurité de confiance, reconnu pour son expertise de pointe en méthodes formelles et en évaluation de sécurité. L’entreprise conçoit des fondations logicielles hautement sécurisées pour les systèmes critiques, utilisées dans des secteurs exigeants tels que le cloud, les télécoms, le web3 et la blockchain, l’IoT, l’automobile, l’aéronautique et la défense.
Pionnière en security-by-design, ProvenRun a développé ProvenCore, le premier et unique système d’exploitation certifié Common Criteria au plus haut niveau (EAL7). Ses technologies permettent aux industriels et fournisseurs de services de développer des produits certifiables plus rapidement, d’anticiper les évolutions réglementaires et de réduire les coûts de maintenance, tout en renforçant durablement la confiance numérique.
