Environnements de développement logiciel

Environnements de développement logiciel • mai 22, 2025

µArchiFI

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
Environnements de développement logiciel • mai 22, 2025

Pyrat & PARTICUL

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
Environnements de développement logiciel • mai 21, 2025

Détection de backdoors

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
Environnements de développement logiciel • mai 21, 2025

Xanthos

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
Environnements de développement logiciel • mars 28, 2024

Simulation Interactive

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
Environnements de développement logiciel • mars 18, 2022

Phoebe

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
Environnements de développement logiciel • mars 18, 2022

SIGMO-IDS

SIGMO-IDS: sécurité cognitive des réseaux.

Lire la suite
Environnements de développement logiciel • mars 18, 2022

NEON

NEON : robustesse, résilience et reconfigurabilité des communications.

Lire la suite