Sicurezza
BENTO esiste per portare l'AI sui dispositivi in modo sicuro. Questa pagina illustra cosa funziona oggi nelle versioni pubbliche, cosa è stato dimostrato in laboratorio e cosa resta ancora da fare.
Ogni dichiarazione sulla sicurezza indica a quale scheda si riferisce. Una funzione che gira su una sola scheda di laboratorio non viene presentata come già in commercio.
Pubblichiamo un numero solo dopo averlo misurato, e diciamo dove e quando.
L'inferenza avviene sul dispositivo e gli Highlights conservano i risultati senza le registrazioni.
Costruiamo sull'Infineon PSOC™ Edge E84 e sulla sua architettura di sicurezza, invece di inventare radici di fiducia nostre.
Oggi
Queste funzioni sono già nel firmware e nei servizi che si usano oggi.
Inferenza sul dispositivo, senza connessione: i modelli girano sulla NPU della scheda e non hanno bisogno del cloud.
L'audio viene registrato per l'addestramento solo con il consenso, espresso sulla pagina, della persona che parla. Gli Highlights riportano risultati, non registrazioni.
Le versioni attuali del firmware contengono un record di identità e un manifest, così l'installazione dal browser porta su ogni scheda la build corretta.
Le schede sono registrate a nome del proprietario tramite l'ID del chip nell'Edge AI Store, dove si gestiscono anche lo svincolo e il trasferimento.
Lo Store, il Trainer e questo sito sono accessibili solo tramite HTTPS; i pagamenti con carta, quando saranno attivi, sono gestiti da Stripe e non arrivano mai ai nostri server.
Consegna sigillata e archiviazione cifrata dei modelli sul PSOC™ Edge HMI Kit: ogni pacchetto è cifrato con la chiave propria di quella scheda, con un ticket monouso, via USB o MQTTS.
Come BENTO consegna un modello
Oggi
Questa catena di consegna sigillata funziona oggi sul PSOC™ Edge HMI Kit. Ogni passaggio chiude una via di attacco a un modello.
Ogni modello porta la firma dello Store, così una scheda può dire da dove viene la sua AI.
Un modello alterato viene rilevato.
È la scheda stessa a generare un ticket monouso.
Un pacchetto intercettato non può essere riutilizzato, perché il suo ticket è già stato usato.
Il pacchetto è cifrato con la chiave propria della scheda che lo riceve.
Un pacchetto copiato non si apre su nessun'altra scheda.
Lo stesso codice sulla scheda apre il pacchetto, qualunque sia la via da cui arriva.
Chi intercetta la trasmissione ottiene solo testo cifrato.
Il pacchetto viene aperto all'interno del core sicuro della scheda, dove risiede la sua chiave.
Obiettivo: la chiave non lascia mai il core sicuro. Lo completeranno le immagini applicative firmate e il blocco della console, i prossimi passi in programma.
La firma dello Store viene verificata sulla scheda prima che il modello venga scritto.
Un modello non firmato o alterato non viene scritto.
Cifrato e firmato con algoritmi standard e pubblici. Il progetto della sigillatura in sé non è pubblicato.
In transito
Cifrato con la chiave propria della scheda che lo riceve, firmato dallo Store e accompagnato da un ticket monouso. Viaggia via USB dalla pagina dello Store oppure via MQTTS, e lo apre lo stesso codice sulla scheda.
A riposo
Conservato sulla scheda in forma cifrata, con una chiave che appartiene solo a quel chip, così un file copiato non si apre da nessun'altra parte. Riletto da un PSOC™ Edge HMI Kit il 27 settembre 2026, il file conservato non conteneva nessuno dei 21.817 elementi del modello.
In uso
Decifrato solo nella memoria interna del chip per la NPU Ethos™-U55; basta un byte modificato perché il modello non venga caricato.
OggiIn funzione sul PSOC™ Edge HMI Kit: installazioni sigillate via MQTTS dal 21 settembre 2026 e via USB dall'Edge AI Store, con archiviazione cifrata, dal 27 settembre 2026. Il secure boot e una porta di debug chiusa sono impostati su ogni dispositivo BENTO che consegniamo. Finché il blocco della console non sarà disponibile, il codice eseguito tramite la console della scheda stessa può ancora raggiungere un modello in esecuzione.
Alla consegna, e i prossimi passi
Secure boot: l'immagine del core sicuro viene verificata con la nostra OEM key prima dell'avvio, su ogni dispositivo BENTO che consegniamo.
Lo stato di produzione del ciclo di vita, con chiusa la porta di debug del titolare della chiave, su ogni dispositivo che consegniamo.
Prossimi passi: immagini firmate per l'applicazione e per il Cortex®-M55, e una console bloccata.
Modelli firmati e sigillati obbligatori, su ogni dispositivo che consegniamo.
Il silicio
BENTO funziona sul PSOC™ Edge E84 di Infineon: un Arm® Cortex®-M55 con NPU Arm® Ethos™-U55, affiancato da un Arm® Cortex®-M33. Le sue certificazioni di sicurezza appartengono al silicio di Infineon; BENTO si basa su di esse e non le rivendica come proprie.
Segnalare una vulnerabilità
Se ritiene di aver trovato un problema di sicurezza in BENTO, nell'Edge AI Store, nell'Edge AI Trainer o in questo sito web, ce lo comunichi in privato prima di parlarne con chiunque altro.
Confermeremo la ricezione della segnalazione, Le comunicheremo gli sviluppi e, se lo desidera, riconosceremo il Suo contributo.