cybersecurity

Forum • March 13, 2025

Forum InCyber 2025

Read more
Forum • October 25, 2024

European Cyber Week 2024

CEA-List is developing advanced cybersecurity programs for critical contexts such as aerospace, nuclear, railway, and healthcare. Our tools, including Frama-C and Sigmo-IDS

Read more
Technological advances • August 20, 2024

August 20, 2024 | Towards the formal certification of security products

A collaboration with Thales has enabled CEA-List to design innovative methods for certifying safety products.

Read more
Technological advances • July 16, 2024

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.

Read more
Forum • June 4, 2024

Eurosatory

Meet CEA-List teams at Eurosatory from June 17 to 21 in Paris and discover our latest innovations.

Read more
Technological advances • December 8, 2022

December 8, 2022 | Reliable neural network AIs, guaranteed

Neural network AIs are making inroads into autonomous vehicles, image and language processing, and a host of other use cases—some of which require a high degree of reliability. CEA-List developed a tool called PyRAT that ensures neural network AIs are robust enough to be implemented in critical systems.

Read more
Forum • October 6, 2022

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.

Read more