News

ProvenRun supports ARM Cortex-M soft processor IPs certification

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 the Common Criteria standard. This certification of Cortex-M soft processor IPs is an important step towards enabling the industry to develop cost-effective security solutions that

Read More »
News

ProvenCore nominated for the Embedded Award 2020

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) certification of ProvenCore for ARM™ Cortex-A. The award nominees have been selected by an international and independent jury of experts. The award pays tribute to

Read More »
News

Xilinx releases Security Whitepaper

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 applications on Xilinx Zynq UltraScale+ devices using ProvenRun’s products.

Read More »
White Papers

Isolate Security-Critical Applications on Zynq Ultrascale+ Devices

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

Read More »
News

ProvenCore secure OS achieves EAL7 Common Criteria certification

How is embedded security unique? ProvenRun, a leader in embedded security, announces that its flagship product, ProvenCore for ARM™ Cortex-A, has recently obtained a Common Criteria (CC) EAL7 certification. This is a world premiere as there is no other OS or Trusted Execution Environment (TEE) at that level of security. As a comparison, the next most

Read More »
White Papers

Hypervisor and security

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

Read More »
White Papers

Deductive formal methods

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

Read More »
News

ProvenRun selected as Security Technology Partner of the EPI Project

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 Processor Initiative (EPI), a major European initiative whose objective is to design a new family of low-power processors for extreme

Read More »
News

ProvenRun announces strategic partnership with Kalray to secure manycore architectures

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 for intelligent systems, to bring more security on Kalray’s manycores MPPA™ architectures. This partnership aims to meet the growing security needs of

Read More »
News

ProvenRun Closely Associated to ARM’s PSA Certified Initiative

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 test laboratories have unveiled PSA Certified, an independent security certification scheme for IoT devices. ProvenRun is proud to be part of this initiative

Read More »

Get Your White Paper

To get your white paper please fill out the form

Get Your White Paper

To get your white paper please fill out the form

Get Your White Paper

To get your white paper please fill out the form

Get Your White Paper

To get your white paper please fill out the form

Contact ProvenRun

We will be in touch with your shortly! Thank You.