À partir de l’analyseur de code source Frama-C, conçu par le CEA et Inria, TrustInSoft a développé des outils et des services d’analyse exhaustive de logiciels en C et C++.
Lire la suite
Face aux hackers, même les plus avancés, Snowpack propose une stratégie originale : l’invisibilité.
Lire la suite
Conçus historiquement pour l’analyse de sûreté de fonctionnement, les logiciels BINSEC et FRAMA-C du CEA-List sont adaptés aux nouveaux besoins de sécurité de la DGA, dans le cadre de l’accord-cadre signé fin 2022 entre les deux partenaires.
Lire la suite
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
Le CEA participe au Tech & Fest 2025, qui se tiendra du 5 au 6 février 2025 à l’Alpexpo de Grenoble. Partenaire fondateur du festival, le CEA participera activement à cette célébration de l’innovation via de multiples prises de parole, découvrez le programme !
Lire la suite