cybersecurity

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
Technological advances • July 25, 2022

July 5, 2022 | A more secure way to share data in the cloud

Secure cloud solution provider Scille turned to CEA-List for help protecting data in unsecured areas of the cloud. The institute developed a blockchain-based tool to make Scille’s Parsec cloud workspace more robust.

Read more