Introduction Using deductive formal methods for ProvenCore, a secure operating system with a high-level interface for applications and for ProvenVisor, …
Resources
All
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 …
ProvenCore secures ARCHOS’ hardware wallet for crypto-assets
ARCHOS today announces the launch in January 2019 of the Safe-T Touch, the first secure hardware wallet with a touch …
ProvenRun to participate to SECREDAS
Europe invests 50 million € in Secure and Safe Automated Systems 69 partners working together to develop future technologies focused …
ProvenRun helps ARM design Threat Models for the IoT
ARM released three Threat Models and Security Analyses (TMSA, also known as a Protection Profile) prepared by ProvenRun on ARM’s …
Consortium of industry leaders launches industrial IoT project
ProvenRun is proud to be a member of a consortium of industry leaders (which include Altran, Orano, Framatome, ArianeGroup, Arkema …