This document, co-authored by SystemX Institute for Technology and ProvenRun explains how a new generation TEE (Trusted Execution Environment) such …
Resources
White papers
Isolate Security-Critical Applications on Zynq Ultrascale+ Devices
This whitepaper, co-authored by Xilinx and Prove & Run, explains how implementing a TEE on the Zynq® UltraScale+™ platform (RFSoCs and s) greatly reduces the attack surface of security-critical applications.
Hypervisor and security
Connected devices that are part of the Internet of things are at risk of being remotely attacked. Performing such attacks …
Deductive formal methods
Introduction Using deductive formal methods for ProvenCore, a secure operating system with a high-level interface for applications and for ProvenVisor, …