ProvenRun
ProvenRun provides secure operating systems and trusted execution environments, including the EAL7 certified ProvenCore OS and ProvenCore-M for microcontrollers. The company utilizes deductive formal methods to develop security-by-design software solutions such as hardware security modules (HSM) and trusted applications. Its products target critical industries including automotive, aerospace, defense, semiconductors, and the Internet of Things (IoT).
Visit websiteParis, France
Cybersecurity
Automotive
Aerospace & Defense
Semiconductors
IoT
Cloud
Telecom
Web3
Funding summary
- Total raised
- €15.0M
- Funding rounds
- 1
Investors in ProvenRun
Investors on record for ProvenRun. Click any investor to view their CAPLINK profile and funding criteria.
Fundraising for a startup like ProvenRun?
Explore CAPLINK's investor database of thousands of active VCs and angels.
Browse investors