Silicon Showcase⁠™

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.

Public source

ProvenRun ProvenCore Secure OS / TEE

The ProvenCore product page reviewed on 12 November 2026 describes a minimal-attack-surface microkernel with ultra-secure containers isolating the kernel and Trusted Applications, with formally proven integrity for key handling and cryptography.

View Official Source (opens in a new tab)Find IP for your application

Overview

The official ProvenCore page states GlobalPlatform TEE alignment, Common Criteria / FIPS-oriented certifications, and support for ARM Cortex-A, RISC-V, and hardware accelerators.

It states alignment with GlobalPlatform TEE for OP-TEE-style Trusted Applications, incremental certification when adding applications, and compliance orientation toward Common Criteria, FIPS 140-3, SESIP, PSA, CSPN, BSZ, and eIDAS. Resilience claims include Trusted Apps remaining operational if the Linux normal world fails. A complete SDK with APIs, documentation, debugging tools, and reusable libraries is stated, plus multi-tenant and post-quantum-ready positioning. The home page additionally labels ProvenCore as the world’s first Common Criteria EAL7 certified and formally verified OS underpinning ProvenHSM, with support callouts for data-center, server OEM, automotive, and semiconductor use.

Technical capabilities

  • Published as design IP

    Licensable semiconductor IP. This listing is not a finished controller chip.

  • Security IP

    Security module / crypto IP. Interface controllers and PHYs remain separate listings.

  • Finder function

    TEE / secure OS

  • Numbered specification: GlobalPlatform TEE / OP-TEE tooling alignment

    GlobalPlatform TEE / OP-TEE tooling alignment is named for this product on the reviewed page.

  • Recorded aliases

    ProvenCore; ProvenRun TEE; ProvenCore microkernel

Lifecycle and categories

Lifecycle stages
Security IP
Solution categories
Cryptography IP
Supported versions
GlobalPlatform TEE / OP-TEE tooling alignment; CC/FIPS-oriented certification claims on page
Compatibility
ARM Cortex-A, RISC-V, and hardware accelerators stated; OP-TEE tooling path for Trusted Apps. Source

Related solutions

CAST AES IP

Cryptography IP

Licensable design IP. AES engine for 128-bit blocks and 128-, 192-, or 256-bit keys.

View solution

EnSilica Silicon IP (eSi-Crypto / eSi-ADAS)

Cryptography IP

EnSilica Silicon IP is a licensable portfolio including eSi-Crypto cryptographic accelerators and eSi-ADAS radar processing IP. Official home and Silicon IP pages state silicon-proven blocks with a subset available for external licensing.

View solution

FortifyIQ FortiAES Secure AES IP Cores

Cryptography IP

FortifyIQ FortiAES is a family of licensable synthesizable AES IP cores with side-channel and fault-injection resistance. The official catalog page lists hardware AES SKUs and soft-macro, foundry-agnostic delivery.

View solution

IP Cores Ultra-Compact AES (FIPS-197) IP

Cryptography IP

IP Cores AES is licensable synthesizable AES (FIPS-197) cipher IP. The official product page states Rijndael encryption/decryption with ECB/CBC/CFB/OFB/CTR modes, 128/192/256-bit keys, and deliverables as Verilog/VHDL source or netlist.

View solution

Noesis ntAES32 High-Speed AES Cipher IP

Cryptography IP

Noesis ntAES32 is licensable AES (FIPS-197) soft IP. The official product page states encrypt/decrypt of 128-bit blocks with 128/192/256-bit keys, discrete roundkey expansion, and deliverables as synthesizable HDL or FPGA netlist.

View solution

PQShield PQPlatform-CoPro PQC IP

Cryptography IP

PQShield PQPlatform-CoPro is licensable post-quantum cryptographic coprocessor IP for existing security subsystems. The official page states silicon-proven, configurable PQC acceleration with SCA/FIA protection for ASIC or FPGA under host-CPU firmware control.

View solution

Related events

Explore promotion options