PROVE & RUN

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 res... ist 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.More