Frama-C

Un environnement open source d’analyse formelle de code C pour garantir la sûreté et la sécurité des programmes.

Cogito

Sécuriser un système embarqué grâce à l’application automatique de contremesures logicielles.

Binsec

Renforcer la sécurité des logiciels par l’analyse formelle de leur code exécutable.

Méthodes formelles

Le programme INCA rend les méthodes formelles accessibles à toutes les entreprises qui développent du code.

25 janvier 2022 | Ivette aide à trouver l’aiguille dans la botte de foin

Confiance numérique

L’interconnexion des réseaux et des objets démultiplie les risques d’attaques malveillantes. Mais l’IA peut aider à les déjouer, tout comme elle peut, en amont, identifier les failles potentielles. Peut-elle aussi protéger notre vie privée ?

28 septembre 2021 | Avec le Grand Défi Cyber, Tiempo Secure et le CEA rendent l’Internet des Objets plus robuste

21 septembre 2021 | LEIA automatise l’analyse logicielle pour garantir la sécurité des objets connectés

Le lorem ipsum est, en imprimerie, une suite de mots sans signification utilisée à titre provisoire pour calibrer une mise en page