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
PyRAT et PARTICUL, les outils développés par le CEA-List pour faire face aux menaces qui ciblent les systèmes d’intelligence artificielle
Lire la suite
ROSA, développé par le CEA-List, vise la détection de backdoors grâce à des techniques de fuzzing avancé, en particulier sur des protocoles de communications (routeurs ou composants logiciels publics de gestion réseau).
Lire la suite
Construction de logiciels système sécurisés et performants en s’appuyant notamment sur l’utilisation d’un langage sécurisé, Rust, maximisant les vérifications à la compilation.
Lire la suite
Le CEA-List développe des outils de simulation en réalité étendue (virtuelle, mixte ou augmentée) grâce notamment à son moteur physique XDE afin de réaliser pour l’industrie des jumeaux numériques immersifs, interactifs et réalistes.
Lire la suite
Phoebe est un code développé par le CEA-List pour la simulation de l’interaction des photons, électrons et positrons avec la matière.
Lire la suite
SIGMO-IDS: sécurité cognitive des réseaux.
Lire la suite
NEON : robustesse, résilience et reconfigurabilité des communications.
Lire la suite