3

Forum • March 18, 2022

FIC 2022

Join CEA-List in Lille for the 14th edition of the FIC, the largest international cybersecurity forum, from June 7 to 9.

Read more
Conference • March 17, 2022

European Cyber Week

The CEA is a partner of the 6th edition of the European Cyber Week, which will be held from November 16 to 18, 2021 in Rennes

Read more
Software development environments • March 17, 2022

Frama-C

Guaranteeing program safety and security with an open-source formal analysis environment for code written in C.

Read more
Exhibition • March 17, 2022

International Cybersecurity Forum (FIC)

The CEA List will participate in the 2021 edition of the International Cyber Security Forum (FIC) which will be held from September 7 to 9, 2021, in Lille Grand Palais.

Read more
Software development environments • March 15, 2022

Cogito

Automatically deploy software countermeasures for more secure embedded systems.

Read more
Software development environments • March 13, 2022

Binsec

Making software more secure through the formal analysis of executable code.

Read more
Software development environments • March 10, 2022

SIGMO-IDS

SIGMO-IDS: cognitive network security.

Read more
Research programs • March 6, 2022

Formal methods

The purpose of the INCA program is to make sophisticated formal verification methods accessible to all companies that develop code.

Read more