Componenti

I ricercatori sviluppano un monitor per i chip che blocca i blocchi

213th Knowledge Seekers Workshop March 1, 2018

213th Knowledge Seekers Workshop March 1, 2018
Anonim

I ricercatori dell'Università del Michigan hanno sviluppato una tecnologia in grado di bloccare i microprocessori e impedire loro di impadronirsi di un PC.

Negli ultimi due anni hanno lavorato su quello che chiamano un "guardiano semantico". È un monitor piccolo che vive sul microprocessore, controllandolo per vedere se al chip viene chiesto di fare qualcosa che i suoi progettisti non avevano previsto nei loro test di garanzia della qualità.

Aziende come Intel e Advanced Micro Devices testano i loro prodotti rigorosamente, ma nel mondo reale i chip vengono spesso chiamati a fare cose nuove che potrebbero potenzialmente causare un crash. Il guardiano semantico può identificare questi stati non testati e quindi rallentare il processore spingendolo in una modalità sicura, dove molti dei campanelli e dei fischietti che migliorano le prestazioni sono disabilitati.

Questo rallenta il computer per una piccola frazione di in secondo luogo, ma rende anche molto meno probabile la caduta, ha detto Valeria Bertacco, un assistente professore con il dipartimento di informatica dell'università.

Il suo team ha costruito il guardiano semantico in un simulatore di chip basato su software e sta ora cercando di ottenere funziona e funziona su un microchip programmabile chiamato array gate programmabile sul campo. Nel loro attuale design, il monitor occupa circa il 3% del patrimonio immobiliare del chip, ma si aspetta che sarebbe molto più piccolo se mai sviluppato commercialmente. "Se una società commerciale decidesse di farlo sarebbe molto meno dell'1%", ha detto Bertacco.

I produttori di chip spesso finiscono per scoprire centinaia di bug, definiti errata dall'industria, nei loro prodotti dopo la loro spedizione. Questi bug possono essere risolti con gli aggiornamenti del BIOS, ma se un difetto è abbastanza serio, può far deragliare i piani di prodotto di un'azienda. L'anno scorso, il processore quad-core Opteron di AMD, nome in codice Barcellona, ​​è stato ritardato di quasi mezzo anno quando è stato scoperto un grave difetto dopo il lancio ufficiale del chip.

L'analista di Insight 64 Nathan Brookwood non è convinto che un guardiano semantico avrebbe ha aiutato AMD con il suo problema di Barcellona. Secondo lui, ci sono almeno due grossi problemi con questo approccio: in primo luogo, sarebbe difficile tenere traccia di tutti gli stati testati su un processore commerciale. "C'è un numero molto grande di stati legittimi, quindi mi chiedo davvero se questo è qualcosa che potrebbe mai essere fatto per essere una soluzione pratica", ha detto.

Un secondo problema è che ci vorrebbe un sacco di lavoro di progettazione per creare una modalità sicura del processore ridotta che ha funzionato veramente.

"La mia ipotesi è che non catturerebbe davvero il tipo di cose davvero sottili che si presentano e che vengono catturate sul campo", ha detto. "Colour me scettico".

Ma i problemi di sicurezza potrebbero presto portare i produttori di chip a dare un'occhiata da vicino al lavoro dell'Università del Michigan. Questo perché alcuni esperti di sicurezza pensano che i microprocessori possano abilitare una nuova ondata di attacchi hacker.

Il mese prossimo, ad esempio, il ricercatore di sicurezza Kris Kaspersky intende dimostrare come attaccare i processori Intel usando codice JavaScript malevolo e pacchetti di rete. "E 'solo una questione di tempo prima che iniziamo a vedere questi … attacchi usati in modi più devastanti su Internet", ha scritto in una descrizione di un discorso che è in programma alla conferenza Hack in the Box a Kuala Lumpur.

Bertacco ritiene che le preoccupazioni per la sicurezza potrebbero rendere il suo guardiano semantico più attraente per i produttori di chip. "Il pubblico in generale è molto più sensibile alla sicurezza", ha detto.