tech from europe
Software-definierte Fahrzeug-Plattformen (SDV)

ProvenCore

🇫🇷 FR

Formal verifiziertes sicheres Betriebssystem und TEE für Mikroprozessoren

GDPRCommon Criteria EAL7
Zur Website →Vergleichen
ProvenCore ist ein sicheres Betriebssystem und eine vertrauenswürdige Ausführungsumgebung für Mikroprozessoren des französischen Cybersecurity-Unternehmens ProvenRun. Es bietet einen formal verifizierten Mikrokernel mit starker Isolation zwischen Kernel und vertrauenswürdigen Anwendungen, die selbst bei Ausfall der umgebenden Linux-Umgebung funktionsfähig bleiben. Unterstützt ARM Cortex-A und RISC-V-Architekturen, inklusive SDK und GlobalPlatform-TEE-Integration.

Funktionen

Kernarchitektur und Isolation

  • Formal verifizierter Mikrokernel mit minimalem Codeumfang
  • Isolation zwischen Kernel und vertrauenswürdigen Anwendungen
  • Schutz der Anwendungsintegrität und sensibler Operationen
  • Kommunikation auf autorisierte Anwendungen und Prozesse beschränkt

Sicherheitsdienste und Vertrauensanker

  • Sicherer Schlüsselspeicher und Key-Management-Dienste
  • Kryptografische Operationen
  • Echte Zufallszahlengenerierung (TRNG)
  • Sichere Firmware-Updates
  • Laufzeit-Integritätsüberwachung
  • Vertrauenswürdige Benutzeroberfläche

Ausfallsicherheit

  • Vertrauenswürdige Anwendungen bleiben funktionsfähig, wenn das Linux-Normal-World ausfällt oder abstürzt
  • Reduziert das Risiko von Denial-of-Service-Angriffen

Zertifizierungen und Standards

  • Common Criteria EAL7
  • FIPS 140-3-Konformität
  • SESIP-, PSA-, CSPN-, BSZ- und eIDAS-Konformität oder -Ausrichtung
  • Anwendungen können hinzugefügt oder aktualisiert werden, ohne bestehende Zertifizierungen zu gefährden

Entwicklertools und Kompatibilität

  • SDK mit APIs, Dokumentation und Debugging-Tools
  • Wiederverwendbare Bibliotheken
  • Ausrichtung an GlobalPlatform-TEE-Spezifikationen
  • Unterstützt die Wiederverwendung von OP-TEE-vertrauenswürdigen Anwendungen

Hardware- und Plattformkompatibilität

  • Integration mit SiFive WorldGuard für RISC-V
  • Einsatz auf SiFive Intelligence X280
  • Xilinx Zynq UltraScale+-Plattformen
  • STMicroelectronics STM32L5
  • Kalray-MPPA-Prozessoren
  • ASPEED-BMC-Plattformen mit OpenBMC-Kompatibilität

Preise

Preise auf Anfrage beim Anbieter.

Sie arbeiten bei ProvenCore?

Wir konnten für Sie bisher keinen einzigen Trust-Punkt gegen eine öffentliche Quelle belegen, deshalb gibt es kein Badge — es trägt ein Prüfdatum, und wir drucken keines, das wir nicht geprüft haben. Nennen Sie uns eine öffentliche Seite (AVV, Trust Center, Zertifikat, Impressum), wir prüfen erneut; das Badge folgt automatisch.

Wenn Sie das Profil mit einer Arbeitsadresse beanspruchen, erhalten Sie ein Formular für Korrekturen und eine Nachricht, sobald wir Sie erneut prüfen.

Profil beanspruchen →

Etwas auf dieser Seite ist falsch? Schreiben Sie an hello@tech-from-europe.eu mit einem öffentlichen Link, wir prüfen es erneut.

Integrationen

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

Häufige Fragen zu ProvenCore

Mit welchen Tools lässt sich ProvenCore verbinden?
ProvenCore lässt sich unter anderem mit SiFive WorldGuard, GlobalPlatform TEE, OP-TEE, SiFive Intelligence X280, Xilinx Zynq UltraScale+, STMicroelectronics STM32L5, Kalray MPPA und ASPEED BMC verbinden, dazu 1 weitere Integrationen, die wir recherchiert haben.

Funktions-, Preis- und Integrationsangaben basieren auf Web-Recherche (Stand 07.10.2026), ohne Gewähr, Fehler sind möglich. Maßgeblich ist die Website des Anbieters.