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.

Méthodes formelles pour l’analyse de programme

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.

16 juillet 2024 | Prise en compte des modèles d’attaquants actifs dans l’analyse de programmes pour la sécurité

Le CEA-List, avec l’Université Grenoble Alpes, a conçu la première technique d’analyse de sécurité des logiciels simulant un attaquant puissant et passant à l’échelle. Son implantation dans BINSEC, outil du CEA-List, a été validée sur un composant de sécurité de l’ANSSI.

European Cyber Week

Le CEA est partenaire de la 7ème édition de l’European Cyber Week qui aura lieu du 15 au 17 novembre 2022 au Couvent des Jacobins à Rennes.

30 octobre 2020 | Protéger les codes cryptographiques contre les nouvelles cyber attaques