ProvenRun as a security partner of Xilinx has collaborated to the publication of a whitepaper. Read how to best isolate security-critical …
Resources
All
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 …
Security Filters for IoT Domain Isolation
Presented at the ISoLA 2018 Conference – Print version Dominique Bolignano and Florence Plateau, ProvenRun Abstract. Network segregation is key to …
ProveRun demonstrates ProvenCore-M on STMicroelectronics’ new Ultra-Low-Power MCU STM32L5
At ARMTechCon in San Jose, California, ProvenRun demonstrated how ProvenCore-M, its secure RTOS, can leverage the TrustZone hardware security features of …