Short description
Software solutions to protect the IoT and connected objects against cybersecurity attacks
Description
Prove & Run has been created with the idea that large scale deployment of connected objects will become a target for remote cyber-attacks and that the technologies in use in the mobile industry were insufficient to answer to the challenge.
When designing connected objects, security engineers can in effect rely on three pillars:
(1) Secure elements or hardware coprocessors; (2) Trusted Execution Environment (TEE) or secure OSs; (3) Hardware - or software-based hypervisors.
In order to resist to sophisticated remote attacks, the last two need to be formally proven so as to be as close as possible to zero-bugs. This is what we have done at Prove & Run with ProvenCore, a formally proven secure OS and ProvenVisor a next generation secure hypervisor.
In most cases using of single instance of ProvenCore on a given connected object will be sufficient to protect against hackers with multi-million dollar budgets.
Last funding
Cannot Access
Sign in for full access
Total funding
$$43214321
Sign in for full access
Location
Paris, Ile-de-France, France, Europe
Founded on
August 28, 2009
Non-profit?
No
Acquired?
No
Employees count
11-50
Revenue range
$56378 - 90123
Sign in for full access
Investors
Nopepepe, Uh Ohhhh
Sign in for full access
Founders
Dominique Bolignano