tech from europe
Plateformes pour véhicules définis par logiciel (SDV)

ProvenCore

🇫🇷 FR

Système d'exploitation sécurisé et TEE formellement vérifié pour microprocesseurs

RGPDCommon Criteria EAL7
Visiter le site →Comparer
ProvenCore est un système d'exploitation sécurisé et un environnement d'exécution de confiance pour microprocesseurs, développé par l'entreprise française de cybersécurité ProvenRun. Il propose un micro-noyau formellement vérifié avec une isolation renforcée entre le noyau et les applications de confiance, garantissant une résilience même en cas de défaillance de l'environnement Linux environnant. Prend en charge les architectures ARM Cortex-A et RISC-V, avec un SDK et une intégration GlobalPlatform TEE.

Fonctionnalités

Architecture centrale et isolation

  • Micronoyau formellement vérifié avec une base de code minimale
  • Isolation entre le noyau et les applications de confiance
  • Protection de l'intégrité des applications et des opérations sensibles
  • Communication limitée aux applications et processus autorisés

Services de sécurité et racine de confiance

  • Stockage sécurisé des clés et services de gestion des clés
  • Opérations cryptographiques
  • Génération aléatoire vraie (TRNG)
  • Mises à jour sécurisées du firmware
  • Surveillance de l'intégrité à l'exécution
  • Interface utilisateur de confiance

Résilience

  • Les applications de confiance restent opérationnelles en cas de défaillance ou de plantage du monde normal Linux
  • Réduit le risque de déni de service

Certifications et normes

  • Common Criteria EAL7
  • Alignement FIPS 140-3
  • Conformité ou alignement SESIP, PSA, CSPN, BSZ et eIDAS
  • Les applications peuvent être ajoutées ou mises à jour sans compromettre les certifications existantes

Outils de développement et compatibilité

  • SDK avec API, documentation et outils de débogage
  • Bibliothèques réutilisables
  • Alignement avec les spécifications GlobalPlatform TEE
  • Prend en charge la réutilisation des applications de confiance OP-TEE

Compatibilité matérielle et plateforme

  • Intégration avec SiFive WorldGuard pour RISC-V
  • Déploiement sur SiFive Intelligence X280
  • Plateformes Xilinx Zynq UltraScale+
  • STMicroelectronics STM32L5
  • Processeurs Kalray MPPA
  • Plateformes ASPEED BMC avec compatibilité OpenBMC

Tarifs

Tarifs disponibles sur demande auprès du fournisseur.

Vous travaillez chez ProvenCore ?

Nous n'avons encore pu vérifier aucun point de confiance vous concernant auprès d'une source publique : il n'y a donc pas de badge à délivrer — il porte une date de contrôle, et nous n'en imprimons pas une que nous n'avons pas faite. Indiquez-nous une page publique (DPA, trust center, certificat, mentions légales) et nous revérifierons ; le badge suivra automatiquement.

En revendiquant la fiche avec une adresse professionnelle, vous recevez un formulaire de correction et un message à chaque nouvelle vérification.

Revendiquer cette fiche →

Une erreur sur cette page ? Écrivez à hello@tech-from-europe.eu avec un lien public et nous revérifierons.

Intégrations

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

Questions fréquentes sur ProvenCore

Avec quels outils ProvenCore s'intègre-t-il ?
ProvenCore s'intègre notamment avec SiFive WorldGuard, GlobalPlatform TEE, OP-TEE, SiFive Intelligence X280, Xilinx Zynq UltraScale+, STMicroelectronics STM32L5, Kalray MPPA et ASPEED BMC, ainsi que 1 autres intégrations recensées.

Les informations sur les fonctionnalités, les tarifs et les intégrations reposent sur des recherches web (au 07/10/2026), sans garantie, des erreurs sont possibles. Le site du fournisseur fait foi.