Skip to content

Providers Insights Events & Webinars About

Submit a Solution Try IP Finder

Submit a Solution Try IP Finder

Your shortlist

Nothing saved yet.

Save a solution from IP Finder, a solution listing, a solution page, or a provider’s solutions to compare it here.

Saved in this browser. Information is based on published sources. Confirm suitability and configuration with the provider.

Silicon Showcase⁠™ helps engineering teams discover IP, design tools, services and manufacturing partners across the SoC lifecycle.

SoC Solutions
IP Finder
Providers

Insights
Events & Webinars
About
For providers

SoC Lifecycle
EDA & Design Tools
Chiplets & Multi-die
Fabrication & Prototyping

Explore

SoC Solutions
IP Finder
Providers

Resources

Insights
Events & Webinars
About
For providers

SoC Guides

SoC Lifecycle
EDA & Design Tools
Chiplets & Multi-die
Fabrication & Prototyping

© 2026 Silicon Showcase⁠™. All rights reserved.

Help & support Contact Us Privacy Policy Terms of Use Disclaimer

Providers Insights Events & Webinars About

Submit a Solution Try IP Finder

Submit a Solution Try IP Finder

Your shortlist

Nothing saved yet.

Save a solution from IP Finder, a solution listing, a solution page, or a provider’s solutions to compare it here.

Saved in this browser. Information is based on published sources. Confirm suitability and configuration with the provider.

Silicon Showcase⁠™ helps engineering teams discover IP, design tools, services and manufacturing partners across the SoC lifecycle.

SoC Solutions
IP Finder
Providers

Insights
Events & Webinars
About
For providers
Promote on Silicon Showcase⁠™

SoC Lifecycle
EDA & Design Tools
Chiplets & Multi-die
Fabrication & Prototyping

Explore

SoC Solutions
IP Finder
Providers

Resources

Insights
Events & Webinars
About
For providers
Promote on Silicon Showcase⁠™

SoC Guides

SoC Lifecycle
EDA & Design Tools
Chiplets & Multi-die
Fabrication & Prototyping

© 2026 Silicon Showcase⁠™. All rights reserved.

Help & support Contact Us Privacy Policy Terms of Use Disclaimer

ProvenRun | Silicon Showcase⁠™

Home
Providers
ProvenRun

ProvenRun

FranceParis (HQ)

ProvenRun is a France-based security company offering ProvenHSM and ProvenCore, a formally verified microkernel/TEE OS used as a hardware-rooted security foundation.

Visit website (opens in a new tab)

Solution categories

Cryptography IP From published solutions.

Lifecycle coverage

Taken from this provider’s published solutions. A provider tag alone is not a listed solution. This is not a verified or complete list of the provider’s capabilities.

Security IP From published solutions.

Published solutions

1 published solution.

ProvenRun ProvenCore Secure OS / TEE
ProvenCore is a formally verified microkernel and TEE OS foundation for trusted applications. The official ProvenCore page states GlobalPlatform TEE alignment, Common Criteria / FIPS-oriented certifications, and support for ARM Cortex-A, RISC-V, and hardware accelerators.
View solution

Independent listing based on publicly available provider information.

Report a correction