Le CEA-List est engagé aux côtés de RTE pour concevoir le futur système de contrôle du réseau électrique : l’institut a ainsi conçu une plateforme de modélisation, de simulation et d’analyse selon une approche rigoureuse basée sur les modèles.
Lire la suite
Pour contribuer à la cybersécurité des systèmes, le CEA-List développe des outils d’analyse de logiciels, notamment via les plateformes Frama-C et BINSEC.
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