ProvenRun
Information Technology & Services - Paris, Île-de-France, France
ProvenRun Employees
ProvenRun Details
Prove & Run – Logiciels prouvés pour la sécurité de l'Internet des objetsProve & 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 à base de méthodes formelles lui permettant de développer à des coûts industriels des composants logiciels certifiables au plus haut niveau de sécurité. Avec cet outil, la société a développé et commercialisé deux briques logicielles essentielles (ProvenCore et ProvenVisor) prêtes à être intégrées, qui peuvent être utilisées soit individuellement soit en combinaison pour constituer le socle de sécurité des architectures logicielles des systèmes embarqués et de l'Internet des objets.SOLUTIONS PROVE & RUN • ProvenCore : un noyau d'OS formellement prouvé pour la sécurisation de terminaux portables, tablettes, passerelles et objets connectés• ProvenVisor : hyperviseur formellement prouvé pour la sécurité pour solutions de virtualisation de l'Internet des objets
ProvenRun Technologies
Email Providers
Outlook
Load Balancers
Apache
Fonts
Typekit
Other
Shutterstock
CSS and JavaScript Libraries
Bootstrap Framework