Formal methods for program analysis

CEA-List possesses a formal methods-based toolkit that can help cybersecurity experts pinpoint vulnerabilities in software and prove that software protects data privacy and integrity—something that is required for the highest levels of software security certification.

Together, DGA and CEA-List move security code analysis forward

The procurement department of the French defense agency (DGA) relies on tools developed by CEA-List for the formal analysis of the code in the security products used by the agency and its suppliers.

July 16, 2024 | Integration of active attacker models into security program analysis

CEA-List and Université Grenoble Alpes have developed the first-ever software security analysis technique capable of simulating a powerful attacker at scale.

European Cyber Week

The CEA is a partner of the 7th edition of the European Cyber Week, which will take place from November 15 to 17 2022 at the Couvent des Jacobins in Rennes.

October 30, 2020 | Protecting cryptographic code against new cyberattacks