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
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.
Lire la suite