Renforcer la sécurité d’un système par l’analyse pre-silicium formelle de la microarchitecture de processeurs et des logiciels qu’ils exécutent avec µArchiFI
Lire la suite
Le CEA-List a développé une nouvelle méthode d’analyse pré-silicium qui a permis une première mondiale : prouver la robustesse d’un processeur et son code de démarrage face à ces attaques par injection de fautes.
Lire la suite