ProvenRun
provenrun.com
As featured in
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Financials
Overview
ProvenRun develops formally verified secure operating systems for connected devices and automotive electronics. Its ProvenCore microkernel is mathematically proven to enforce isolation, and reached the highest common criteria assurance levels. The company is headquartered in Paris and works with chipmakers and car manufacturers.
News
Tikehau leads ProvenRun's €15m funding round
ProvenRun is a cybersecurity software company that focuses on automotive, aerospace, defence and the Internet of Things.
Read more
Report
ProvenRun secures â'15 million Series A to accelerate its growth in security-by-design for the Internet of Things (IoT)
Design And Reuse - Catalog of IP Cores and Silicon on Chip solutions for IoT, Automotive, Security, RISC-V, AI, ... and Asic Design Platforms and Resources
Read more
Report
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 ProvenRun, a global leader in embedded security, and Cinemo, a global leader in high performance
Read more
Report
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
Paris
France
HQ