ProvenRun will be exhibiting at embedded world 2020 in Nuremberg, from the 25th to the 27th of February. Come and meet …
Resources
All
ProvenCore nominated for the Embedded Award 2020
ProvenRun has been nominated for the embedded award 2020 in the Safety & Security category for its Common Criteria (CC) …
Xilinx releases Security Whitepaper
ProvenRun as a security partner of Xilinx has collaborated to the publication of a whitepaper. Read how to best isolate security-critical …
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.
ProvenCore secure OS achieves EAL7 Common Criteria certification
ProvenRun, a leader in embedded security, announces that its flagship product, ProvenCore for ARM™ Cortex-A, has recently obtained a Common Criteria (CC) EAL7 …
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, …
ProvenRun selected as Security Technology Partner of the EPI Project
ProvenRun has been selected as a security technology partner of the EPI project. ProvenRun joins as a partner the European …
ProvenRun Closely Associated to ARM’s PSA Certified Initiative
To support the widespread deployment of secure IoT solutions based on the Platform Security Architecture (PSA) framework, ARM and lead …
ProvenRun announces strategic partnership with Kalray to secure manycore architectures
ProvenRun, a leader in embedded security, announces a strategic partnership with Kalray (Euronext Growth Paris: ALKAL), a pioneer in processors …
ProvenRun selected as a Security Technology Partner of ES3CAP Project
ProvenRun has been selected as the security technology partner of the Kalray’s ES3CAP project. The main objective of the ES3CAP …
Inferring Frame Conditions with Static Correlation Analysis
OANA F. ANDREESCU, Internet of Trust, FranceTHOMAS JENSEN, Inria, France and ProvenRun, FranceSTÉPHANE LESCUYER, ProvenRun, FranceBENOÎT MONTAGU, ProvenRun, France Abstract …