En tránsito
Firmado y sellado para una sola placa
Cifrado con la clave propia de la placa receptora, firmado por la Store y con un ticket de un solo uso. Viaja por USB desde la página de la Store o por MQTTS, y lo abre el mismo código en la placa.
Seguridad
Cómo protege BENTO los modelos.
BENTO existe para llevar la AI a los dispositivos de forma segura. Esta página expone qué funciona hoy en las versiones públicas, qué se ha demostrado en el laboratorio y qué queda por delante.
Nuestras reglas para las afirmaciones de seguridad
Nombrar la placa
Cada afirmación de seguridad indica a qué placa se aplica. Una función que se ejecuta en una sola placa de laboratorio no se presenta como si ya se distribuyera.
Medir antes de publicar
Solo publicamos una cifra cuando la hemos medido, e indicamos dónde y cuándo.
Minimizar lo que viaja
La inferencia se ejecuta en el dispositivo, y Highlights guarda los resultados sin las grabaciones.
Construir sobre silicio probado
Construimos sobre el Infineon PSOC™ Edge E84 y su arquitectura de seguridad en lugar de inventar nuestras propias raíces de confianza.
Hoy
Ya en las versiones públicas.
Esto ya está en el firmware y los servicios que se usan hoy.
- Hoy
Inferencia en el dispositivo, sin conexión: los modelos se ejecutan en la NPU de la placa y no necesitan conexión a la nube.
- Hoy
El audio solo se graba para el entrenamiento con el consentimiento, dado en la página, de la persona que habla. Highlights muestra resultados, no grabaciones.
- Hoy
Las versiones actuales del firmware incluyen un registro de identidad y un manifiesto, para que el instalador del navegador ponga la compilación correcta en cada placa.
- Hoy
Las placas se registran a nombre de su propietario mediante el ID del chip en la Edge AI Store, y la liberación y la transferencia se gestionan en la Store.
- Hoy
La Store, el Trainer y este sitio se sirven solo a través de HTTPS; los pagos con tarjeta, cuando se habiliten, los gestiona Stripe y nunca llegan a nuestros servidores.
- Hoy
Entrega sellada y almacenamiento cifrado de modelos en el BENTO HMI Kit: cada paquete se cifra con la clave propia de esa placa, con un ticket de un solo uso, por USB o MQTTS.
Cómo entrega BENTO un modelo
Hoy
Seis pasos de la Store a la placa.
Esta cadena de entrega sellada funciona hoy en el BENTO HMI Kit. Cada paso cierra una vía de ataque contra un modelo.
- 1
La Store firma
Cada modelo lleva la firma de la Store, de modo que una placa puede acreditar de dónde procede su AI.
Un modelo alterado queda detectado.
- 2
La placa genera un ticket
La propia placa genera un ticket de un solo uso.
Un paquete capturado no puede reenviarse, porque su ticket ya se ha consumido.
- 3
Sellado para una sola placa
El paquete se cifra con la clave propia de la placa receptora.
Un paquete copiado no se abrirá en ninguna otra placa.
- 4
USB o MQTTS
El mismo código en la placa abre un paquete, llegue por la vía que llegue.
Interceptar la transmisión solo proporciona texto cifrado.
- 5
El núcleo seguro abre
El paquete se abre dentro del núcleo seguro de la placa, donde reside su clave.
Objetivo: que la clave nunca salga del núcleo seguro. Lo completarán las imágenes de aplicación firmadas y el bloqueo de la consola, lo siguiente en la hoja de ruta.
- 6
Verificar antes de grabar
La firma de la Store se comprueba en la placa antes de escribir el modelo.
Un modelo sin firmar o alterado no se escribe.
Cifrado y firmado con algoritmos estándar y publicados. El diseño del sellado en sí no se publica.
En reposo
Texto cifrado en la placa
Almacenado en la placa de forma cifrada, con una clave que pertenece solo a ese chip, de modo que un archivo copiado no se abre en ningún otro lugar. Al leerlo de un BENTO HMI Kit el 27 de septiembre de 2026, el archivo almacenado no contenía ninguna de las 21.817 piezas del modelo.
En uso
Descifrado solo dentro del chip
Se descifra únicamente en la memoria interna del chip para la NPU Ethos™-U55; un byte alterado impide que el modelo se cargue.
HoyEn funcionamiento en el BENTO HMI Kit: despliegues sellados por MQTTS desde el 21 de septiembre de 2026, y por USB desde la Edge AI Store, con almacenamiento cifrado, desde el 27 de septiembre de 2026. El secure boot y un puerto de depuración cerrado vienen configurados en cada dispositivo BENTO que entregamos. Hasta que llegue el bloqueo de la consola, el código ejecutado a través de la consola de la propia placa todavía puede acceder a un modelo en ejecución.
En la entrega, y lo siguiente
Configurado en cada dispositivo que entregamos.
- Hoy
Secure boot: la imagen del núcleo seguro se verifica con nuestra OEM key antes de iniciarse, en cada dispositivo BENTO que entregamos.
- Hoy
El estado de producción del ciclo de vida, con el puerto de depuración del titular de la clave cerrado, en cada dispositivo que entregamos.
- Hoja de ruta
Lo siguiente: imágenes de aplicación y de Cortex®-M55 firmadas, y una consola bloqueada.
- Hoy
Modelos firmados y sellados obligatorios, en cada dispositivo que entregamos.
El silicio
Infineon PSOC™ Edge E84.
BENTO se ejecuta en el PSOC™ Edge E84 de Infineon: un Arm® Cortex®-M55 con una NPU Arm® Ethos™-U55, junto a un Arm® Cortex®-M33. Sus certificaciones de seguridad pertenecen al silicio de Infineon; BENTO se apoya en ellas y no las reivindica como propias.
Notificar una vulnerabilidad
Primero, a nosotros.
Rogamos a quien crea haber encontrado un problema de seguridad en BENTO, la Edge AI Store, el Edge AI Trainer o este sitio web que nos lo comunique en privado antes de contárselo a nadie más.
- Describir lo encontrado, cómo reproducirlo y qué podría hacer con ello un atacante.
- No acceder a datos ajenos, ni modificarlos ni eliminarlos, y no realizar pruebas que degraden el servicio para otras personas.
- Dejarnos un plazo razonable para corregirlo antes de hacerlo público.
Acusaremos recibo del informe, mantendremos informada a la persona que lo envíe y, si así lo desea, reconoceremos públicamente su aportación.