Entity
Description
  • Value proposition

    Trusted 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

  • Original language

    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 interactions BETA
Corporate TypeTweets Articles
ANSSI - Agence nationale de la sécurité des systèmes d'information ANSSI - Agence nationale de la sécurité des systèmes d'information
Other

20 Dec 2023


Sophia Antipolis
Sophia Antipolis
IT Services and IT Consulting
Sophia Antipolis
IT Services and IT Consulting
Other

21 Dec 2023


Bpifrance
Bpifrance
Bank, Banking
Bpifrance
Bank, Banking
Other

5 Dec 2023


Consultor.fr
Consultor.fr
Media, Online Audio and Video Media
Consultor.fr
Media, Online Audio and Video Media
Other

2 Jan 2023


CEA
CEA
Research
CEA
Research
Other

7 Feb 2018


Consumer Technology Association
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)
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
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
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
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



Similar entities
Loading...
Loading...
Social network dynamics