tech from europe
Plataformas de vehículo definido por software (SDV)

ProvenCore

🇫🇷 FR

Sistema operativo seguro y TEE verificado formalmente para microprocesadores

RGPDCommon Criteria EAL7
Ir a la web →Comparar
ProvenCore es un sistema operativo seguro y un entorno de ejecución de confianza para microprocesadores, desarrollado por la empresa francesa de ciberseguridad ProvenRun. Ofrece un micronúcleo verificado formalmente con un fuerte aislamiento entre el núcleo y las aplicaciones de confianza, garantizando resiliencia incluso si el entorno Linux circundante falla. Soporta arquitecturas ARM Cortex-A y RISC-V, con SDK e integración con GlobalPlatform TEE.

Funciones

Arquitectura central y aislamiento

  • Micronúcleo verificado formalmente con base de código mínima
  • Aislamiento entre el núcleo y las aplicaciones de confianza
  • Protección de la integridad de las aplicaciones y operaciones sensibles
  • Comunicación limitada a aplicaciones y procesos autorizados

Servicios de seguridad y raíz de confianza

  • Almacenamiento seguro de claves y servicios de gestión de claves
  • Operaciones criptográficas
  • Generación de números aleatorios verdaderos (TRNG)
  • Actualizaciones seguras de firmware
  • Monitoreo de integridad en tiempo de ejecución
  • Interfaz de usuario de confianza

Resiliencia

  • Las aplicaciones de confianza siguen operativas si el mundo normal de Linux falla o se bloquea
  • Reduce el riesgo de ataques de denegación de servicio

Certificaciones y normas

  • Common Criteria EAL7
  • Alineación con FIPS 140-3
  • Cumplimiento o alineación con SESIP, PSA, CSPN, BSZ y eIDAS
  • Las aplicaciones se pueden agregar o actualizar sin poner en riesgo las certificaciones existentes

Herramientas de desarrollo y compatibilidad

  • SDK con API, documentación y herramientas de depuración
  • Bibliotecas reutilizables
  • Alineación con las especificaciones de GlobalPlatform TEE
  • Admite la reutilización de aplicaciones de confianza de OP-TEE

Compatibilidad de hardware y plataforma

  • Integración con SiFive WorldGuard para RISC-V
  • Implementación en SiFive Intelligence X280
  • Plataformas Xilinx Zynq UltraScale+
  • STMicroelectronics STM32L5
  • Procesadores Kalray MPPA
  • Plataformas ASPEED BMC con compatibilidad OpenBMC

Precios

Precios disponibles a petición del proveedor.

¿Trabajas en ProvenCore?

Todavía no hemos podido verificar en una fuente pública ni un solo punto de confianza de tu empresa, así que no hay sello que emitir: lleva una fecha de comprobación y no imprimimos uno que no hayamos verificado. Indícanos una página pública (un contrato de encargado del tratamiento, un trust center, un certificado, tu aviso legal) y volveremos a comprobarlo; el sello llega automáticamente.

Si reclamas el perfil con un correo de empresa, recibes un formulario para corregir cualquier error nuestro y un aviso cada vez que volvamos a revisar tu perfil.

Reclamar este perfil →

¿Algo no es correcto en esta página? Escribe a hello@tech-from-europe.eu con un enlace público y lo volveremos a comprobar.

Integraciones

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

Preguntas frecuentes sobre ProvenCore

¿Con qué herramientas se integra ProvenCore?
ProvenCore se integra, entre otras, con SiFive WorldGuard, GlobalPlatform TEE, OP-TEE, SiFive Intelligence X280, Xilinx Zynq UltraScale+, STMicroelectronics STM32L5, Kalray MPPA y ASPEED BMC, y 1 integración más que hemos encontrado.

Los datos sobre funciones, precios e integraciones se basan en una investigación en la web (a fecha de 07/10/2026), sin garantía; puede haber errores. Prevalece la web del proveedor.