PROVE&RUN

Their core work

Prove & Run is a Paris-based cybersecurity SME specializing in formal verification and proof-based security for embedded systems and critical software. They provide security solutions for autonomous and cyber-physical systems across automotive, aerospace, energy, and manufacturing domains. Their work focuses on ensuring that processors, system architectures, and automated platforms meet rigorous security and dependability requirements — contributing security expertise to large-scale European hardware and software initiatives.

What they specialise in

How they've shifted over time

With all three projects starting between 2018 and 2019, Prove & Run's H2020 participation is concentrated in a narrow window, making long-term evolution hard to assess. However, a clear pattern emerges: they moved from general cybersecurity for dependable automated systems (SECREDAS) toward deeper involvement in strategic European sovereignty initiatives — secure processors (EPI SGA1) and large-scale cyber-physical system architectures (CPS4EU). Their trajectory shows a shift from security as a service toward security embedded in foundational European digital infrastructure.

Prove & Run is moving toward embedding security directly into European strategic hardware and CPS platforms, positioning them for future sovereignty and trusted computing initiatives.

How they like to work

Prove & Run operates exclusively as a specialist participant, never leading consortia but contributing focused security expertise to very large projects. With 139 unique partners across 19 countries from just 3 projects, they work in major European flagship initiatives with broad consortia. This pattern suggests they are sought after as a trusted security specialist rather than a project initiator — a reliable niche contributor to ambitious multi-partner efforts.

Despite only 3 projects, Prove & Run has built connections with 139 partners across 19 countries, reflecting their participation in large-scale flagship initiatives. Their network spans most of Europe, with likely strong ties to major automotive, aerospace, and semiconductor players involved in EPI and CPS4EU.

What sets them apart

Prove & Run occupies a rare niche: a security SME rooted in formal verification methods — mathematically proving that software and hardware behave as intended. While many cybersecurity firms focus on detection and response, Prove & Run works at the design level, making systems secure by construction. This makes them a valuable partner for any project where safety-critical systems must meet the highest assurance levels, from autonomous vehicles to sovereign processors.

Highlights from their portfolio

• EPI SGA1
  Part of the flagship European Processor Initiative to build sovereign European chips — their largest grant at EUR 1.53M, signaling trust in their security capabilities for strategic hardware.
• CPS4EU
  Broad cross-domain scope covering automated driving, aerospace, energy, and manufacturing — demonstrates Prove & Run's ability to apply security across very different industrial sectors.
• SECREDAS
  Focused specifically on cyber security and dependability for cross-domain automated systems, aligning directly with the company's core mission.