tech from europe
SDV-platforms (software-defined vehicle)

ProvenCore

🇫🇷 FR

Formeel geverifieerd veilig besturingssysteem en TEE voor microprocessoren

AVGCommon Criteria EAL7
Naar de website →Vergelijken
ProvenCore is een veilig besturingssysteem en vertrouwde uitvoeringsomgeving voor microprocessoren, ontwikkeld door de Franse cybersecurity-firma ProvenRun. Het biedt een formeel geverifieerde microkernel met sterke isolatie tussen de kernel en vertrouwde toepassingen, die operationeel blijven zelfs als de omringende Linux-omgeving uitvalt. Ondersteunt ARM Cortex-A- en RISC-V-architecturen, met een SDK en GlobalPlatform TEE-integratie.

Functies

Kernarchitectuur en isolatie

  • Formeel geverifieerde microkernel met minimale codebase
  • Isolatie tussen kernel en vertrouwelijke applicaties
  • Bescherming van applicatie-integriteit en gevoelige bewerkingen
  • Communicatie beperkt tot geautoriseerde applicaties en processen

Beveiligingsdiensten en root of trust

  • Veilige opslag van sleutels en sleutelbeheerdiensten
  • Cryptografische bewerkingen
  • Echte willekeurige getallengeneratie (TRNG)
  • Veilige firmware-updates
  • Runtime-integriteitsbewaking
  • Betrouwbare gebruikersinterface

Veiligheid en betrouwbaarheid

  • Vertrouwelijke applicaties blijven operationeel als de Linux 'normal world' faalt of crasht
  • Vermindert het risico op denial-of-service-aanvallen

Certificeringen en normen

  • Common Criteria EAL7
  • FIPS 140-3-conformiteit
  • SESIP-, PSA-, CSPN-, BSZ- en eIDAS-conformiteit of -uitlijning
  • Applicaties kunnen worden toegevoegd of bijgewerkt zonder bestaande certificeringen in gevaar te brengen

Ontwikkelhulpmiddelen en compatibiliteit

  • SDK met API's, documentatie en debuggereedschappen
  • Herbruikbare bibliotheken
  • Uitlijning met GlobalPlatform TEE-specificaties
  • Ondersteunt hergebruik van OP-TEE vertrouwelijke applicaties

Hardware- en platformcompatibiliteit

  • Integratie met SiFive WorldGuard voor RISC-V
  • Implementatie op SiFive Intelligence X280
  • Xilinx Zynq UltraScale+-platforms
  • STMicroelectronics STM32L5
  • Kalray MPPA-processoren
  • ASPEED BMC-platforms met OpenBMC-compatibiliteit

Prijzen

Prijzen op aanvraag bij de leverancier.

Werk je bij ProvenCore?

We konden voor jou nog geen enkel trustpunt aan een openbare bron toetsen, dus er is geen badge om uit te geven — hij draagt een controledatum, en we drukken er geen af die we niet hebben gecontroleerd. Wijs ons op een openbare pagina (een verwerkersovereenkomst, een trustcenter, een certificaat, je bedrijfsgegevens) en we controleren opnieuw; de badge volgt automatisch.

Claim je het profiel met een zakelijk e-mailadres, dan krijg je een formulier om fouten te corrigeren en een bericht zodra we je opnieuw controleren.

Dit profiel claimen →

Klopt er iets niet op deze pagina? Mail naar hello@tech-from-europe.eu met een openbare link, dan controleren we het opnieuw.

Integraties

SiFive WorldGuardGlobalPlatform TEEOP-TEESiFive Intelligence X280Xilinx Zynq UltraScale+STMicroelectronics STM32L5Kalray MPPAASPEED BMCOpenBMC

Veelgestelde vragen over ProvenCore

Met welke tools kun je ProvenCore koppelen?
ProvenCore is onder meer te koppelen aan SiFive WorldGuard, GlobalPlatform TEE, OP-TEE, SiFive Intelligence X280, Xilinx Zynq UltraScale+, STMicroelectronics STM32L5, Kalray MPPA en ASPEED BMC, plus 1 andere integratie die we hebben gevonden.

Gegevens over functies, prijzen en integraties zijn gebaseerd op webonderzoek (stand 07-10-2026), zonder garantie; fouten zijn mogelijk. De website van de aanbieder is leidend.