ProvenRun demonstrates ProvenCore for securing Automotive Critical ECU’s This document, co-authored by SystemX Institute for Technology and ProvenRun explains how a new generation TEE (Trusted Execution Environment) such as ProvenCore could be used to secure Automotive Criticial ECU’s. Read & Download

Isolate Security-Critical Applications on Zynq Ultrascale+ Devices This whitepaper, co-authored by Xilinx and ProvenRun, explains how implementing a TEE on the Zynq® UltraScale+™ platform (RFSoCs and s) greatly reduces the attack surface of security-critical applications. Explore this white paper to find out: What a TEE is, How the requirements for

Hypervisor and security Connected devices that are part of the Internet of things are at risk of being remotely attacked. Performing such attacks require the exploitation of vulnerabilities in their Trusted Computer Base, the parts of the software and hardware that are critical to the devices’ security. Designing remote attacks

Introduction Using deductive formal methods for ProvenCore, a secure operating system with a high-level interface for applications and for ProvenVisor, a secure hypervisor, makes it possible to reach a higher level of security while reducing the total costs of security. What we have done We have developed a secure OS