Sécurité
BENTO existe pour livrer l'AI aux appareils en toute sécurité. Cette page présente ce qui fonctionne aujourd'hui dans les versions publiques, ce qui a été démontré en laboratoire et ce qui reste à venir.
Chaque déclaration de sécurité précise la carte à laquelle elle s'applique. Une fonction qui s'exécute sur une seule carte de laboratoire n'est pas présentée comme livrée.
Nous ne publions un chiffre qu'après l'avoir mesuré, et nous précisons où et quand.
L'inférence s'exécute sur l'appareil, et Highlights conserve les résultats sans les enregistrements.
Nous nous appuyons sur l'Infineon PSOC™ Edge E84 et son architecture de sécurité plutôt que d'inventer nos propres racines de confiance.
Aujourd'hui
Ces éléments figurent dans le firmware et les services utilisés aujourd'hui.
Inférence sur l'appareil, hors ligne : les modèles s'exécutent sur le NPU de la carte et ne nécessitent aucune connexion au cloud.
L'audio n'est enregistré pour l'entraînement qu'avec le consentement, donné sur la page, de la personne qui parle. Highlights transmet des résultats, pas des enregistrements.
Les versions actuelles du firmware comportent un enregistrement d'identité et un manifeste, afin que l'installateur dans le navigateur installe la bonne version sur chaque carte.
Les cartes sont enregistrées au nom de leur propriétaire par l'identifiant de leur puce dans l'Edge AI Store, qui gère aussi leur libération et leur transfert.
Le Store, le Trainer et ce site sont servis uniquement en HTTPS ; les paiements par carte bancaire, une fois ouverts, sont traités par Stripe et n'atteignent jamais nos serveurs.
Livraison scellée et stockage chiffré des modèles sur le BENTO HMI Kit : chaque paquet est chiffré avec la clé propre de cette carte, avec un ticket à usage unique, via USB ou MQTTS.
Comment BENTO livre un modèle
Aujourd'hui
Cette chaîne de livraison scellée fonctionne aujourd'hui sur le BENTO HMI Kit. Chaque étape ferme une voie d'attaque contre un modèle.
Chaque modèle porte la signature du Store, de sorte qu'une carte peut indiquer d'où vient son AI.
Un modèle altéré est détecté.
La carte tire elle-même un ticket à usage unique.
Un paquet intercepté ne peut pas être rejoué, car son ticket a déjà été consommé.
Le paquet est chiffré avec la clé propre de la carte destinataire.
Un paquet copié ne s'ouvrira sur aucune autre carte.
Le même code sur la carte ouvre un paquet, quelle que soit la voie par laquelle il arrive.
Une interception sur la ligne ne livre que du texte chiffré.
Le paquet est ouvert dans le cœur sécurisé de la carte, là où réside sa clé.
Objectif : la clé ne quitte jamais le cœur sécurisé. Les images d'application signées et le verrouillage de la console, prochaines étapes de la feuille de route, permettront d'y parvenir pleinement.
La signature du Store est vérifiée sur la carte avant que le modèle soit écrit.
Un modèle non signé ou altéré n'est pas écrit.
Chiffré et signé avec des algorithmes standard et publiés. La conception du scellement elle-même n'est pas publiée.
En transit
Chiffré avec la clé propre de la carte destinataire, signé par le Store et porteur d'un ticket à usage unique. Il transite via USB depuis la page du Store ou via MQTTS, et le même code sur la carte l'ouvre.
Au repos
Stocké sous forme chiffrée sur la carte, sous une clé qui n'appartient qu'à cette puce, de sorte qu'un fichier copié ne s'ouvre nulle part ailleurs. Relu depuis un BENTO HMI Kit le 27 septembre 2026, le fichier stocké ne contenait aucun des 21 817 éléments du modèle.
En cours d'utilisation
Déchiffré uniquement dans la mémoire interne de la puce, pour le NPU Ethos™-U55 ; un octet modifié empêche le chargement du modèle.
Aujourd'huiEn service sur le BENTO HMI Kit : déploiements scellés via MQTTS depuis le 21 septembre 2026, et via USB depuis l'Edge AI Store, avec stockage chiffré, depuis le 27 septembre 2026. Le secure boot et un port de débogage fermé sont configurés sur chaque appareil BENTO que nous livrons. Tant que le verrouillage de la console n'est pas disponible, du code exécuté via la console propre d'une carte peut encore atteindre un modèle en cours d'exécution.
À la livraison, et ensuite
Secure boot : l'image du cœur sécurisé est vérifiée avec notre OEM key avant son lancement, sur chaque appareil BENTO que nous livrons.
L'état « production » du cycle de vie, avec le port de débogage du détenteur de la clé fermé, sur chaque appareil que nous livrons.
Ensuite : des images d'application et Cortex®-M55 signées, et une console verrouillée.
Modèles signés et scellés obligatoires, sur chaque appareil que nous livrons.
Le silicium
BENTO s'exécute sur le PSOC™ Edge E84 d'Infineon : un Arm® Cortex®-M55 avec un NPU Arm® Ethos™-U55, aux côtés d'un Arm® Cortex®-M33. Ses certifications de sécurité appartiennent au silicium d'Infineon ; BENTO s'appuie sur elles et ne les revendique pas comme les siennes.
Signaler une vulnérabilité
Si vous pensez avoir découvert un problème de sécurité dans BENTO, l'Edge AI Store, l'Edge AI Trainer ou ce site web, merci de nous en informer en privé avant d'en parler à quiconque.
Nous accuserons réception de votre signalement, vous tiendrons au courant et vous citerons si vous le souhaitez.