Microsoft has announced the availability of the Edge Compute Node Protection Profile, a Common Criteria (ISO 15408) standard that will …
Resources
All
Meet ProvenRun at SIDO 2020
ProvenRun will be exhibiting at SIDO 2020, September 3-4, Lyon, France. Come and meet us on the STMicroelectronics stand (W208) at Lyon’s …
ProvenRun supports ARM Cortex-M soft processor IPs certification
Arm has announced that it has successfully certified their Cortex-M33 and Cortex-M35P soft processor IPs and their security features to EAL6+ for …
Meet ProvenRun at embedded world 2020
ProvenRun will be exhibiting at embedded world 2020 in Nuremberg, from the 25th to the 27th of February. Come and meet …
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 …