News

ProvenRun and Cinemo to demonstrate World’s first DRM implementation of the new GlobalPlatform Secure Media Path

Unique collaboration to enable Widevine media playback on Secure Media Path (SMP) Protection Profile Paris, France and Karlsruhe, Germany January 3rd, 2022 – ProvenRun, a global leader in embedded security, and Cinemo, a global leader in high performance and automotive grade multimedia playback, streaming, media management, connectivity, and cloud middleware, have

Read More »
News

ProvenRun joins GAIA-X as a Day-1 member

How is embedded security unique? ProvenRun has joined GAIA-X as Day-1 Member and will work with the other GAIA-X members to bring a higher level of security and trust to cloud services. GAIA-X is a key initiative aiming at defining the next generation of data infrastructure aligned with European values: an

Read More »
News

ProvenRun contributes to Microsoft’s Edge Compute Node Protection Profile

ProvenRun contributes to Microsoft’s Edge Compute Node Protection Profile Microsoft has announced the availability of the Edge Compute Node Protection Profile, a Common Criteria (ISO 15408) standard that will guide how to engineer, claim, evaluate, and consume security for IoT devices. ProvenRun is proud to be the main contributor to this Protection Profile leveraging

Read More »
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 »

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.