Social networks
183 2,206Activities
Technologies
Entity types
Location
77 Av. Niel, 75017 Paris, France
Paris
France
Employees
Scale: 11-50
Estimated: 44
Engaged corporates
12Added in Motherbase
5 years, 2 months agoTrusted Products & Services for Embedded Security
With the advent of low cost – high bandwidth- low latency connectivity, the increased use of digitization techniques to deliver end-to-end intelligence, many industrial sectors are combining microelectronics and embedded software to deliver real time interactions between the physical and the digital worlds leveraging on complex IT infrastructures of interconnected devices, systems, systems-of-systems, edge and cloud services.
This creates attractive business opportunities for hackers that could exploit the large attack surface exposed by those complex infrastructures to extort money, potentially threatening to remotely cause physical damage to users or surrounding equipment.
ProvenRun’s mission is to provide customers with the Trusted Products and Services that will help them Embed Security within their infrastructure of connected devices wherever this is required, at the chip, device, edge or cloud levels.
With our security consulting services and secure-by-design off-the-shelf product solutions, we resolve the security challenges arising from the IoT revolution while dramatically improving the protection against remote cyberattacks.
We serve customers across industries mainly in the Automotive, Aerospace/Defense, Transport, Industrial, Telecom sectors, the IoT/Consumer device OEMs and the Semiconductor & IP suppliers.
Cybersecurity, Operating Systems, Hypervisors, Formal Proof, Security Architecture, Security Analysis, and Certification
Trusted Products & Services for Embedded Security
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 à 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
Corporate | Type | Tweets | Articles | |
---|---|---|---|---|
ANSSI - Agence nationale de la sécurité des systèmes d'information | Other 20 Dec 2023 | | ||
Sophia Antipolis IT Services and IT Consulting | Sophia Antipolis IT Services and IT Consulting | Other 21 Dec 2023 | | |
Bpifrance Bank, Banking | Bpifrance Bank, Banking | Other 5 Dec 2023 | | |
Consultor.fr Media, Online Audio and Video Media | Consultor.fr Media, Online Audio and Video Media | Other 2 Jan 2023 | | |
CEA Research | CEA Research | Other 7 Feb 2018 | | |
Consumer Technology Association Trade show, Computers and Electronics Manufacturing | Consumer Technology Association Trade show, Computers and Electronics Manufacturing | Not capitalistic Not partnership Event 10 Jan 2019 | | |
Thales Digital Identity and Security (ex Gemalto) IT services, IT Services and IT Consulting | Thales Digital Identity and Security (ex Gemalto) IT services, IT Services and IT Consulting | Not capitalistic Not partnership Event 19 Nov 2014 | | |
Systematic Paris-Region Public business cluster, French Cluster, IT Services and IT Consulting | Systematic Paris-Region Public business cluster, French Cluster, IT Services and IT Consulting | Not capitalistic Partnership Event 11 Jan 2024 | | |
Invest in Côte d'Azur - Team Nice Côte d'Azur Startup accelerator & VC, International Trade and Development | Invest in Côte d'Azur - Team Nice Côte d'Azur Startup accelerator & VC, International Trade and Development | Other 19 Feb 2019 | | |
Business France National and local authorities, Government Administration | Business France National and local authorities, Government Administration | Not capitalistic Not partnership Event 30 Mar 2017 16 Jan 2024 | | |