European Cyber Week 2025

European Cyber Week 2025 : le congrès où l’innovation rencontre la cyber et l’Intelligence Artificielle de défense pour façonner la sécurité de notre nation.

[Startup] TrustInSoft, la qualité et la sécurité des logiciels en C et C++

À 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++.

[Startup] Snowpack, invisibilité des actifs numériques sensibles exposés sur internet

Face aux hackers, même les plus avancés, Snowpack propose une stratégie originale : l’invisibilité.

DGA et CEA-List, une collaboration fructueuse sur l’analyse de codes de sécurité

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.

µ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

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

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).

Forum InCyber 2025