La sicurezza hardware sta evolvendo oltre il semplice codice e le patch. Le moderne microarchitetture, con la loro complessità e ottimizzazioni, possono compromettere la riservatezza anche quando il software è corretto. Caroline Trippel di Stanford propone un nuovo approccio basato su contratti hardware-software formali per garantire la fiducia digitale, trasformando il dibattito tecnico in una roadmap strategica per l'industria del silicio.

Leggi su GoYou