2

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
Challenges • March 4, 2022

Digital Trust

Today, devices and networks are increasingly interconnected, multiplying the risk of malicious attacks. But AI can help to thwart them, just as it can proactively identify potential vulnerabilities. But what about privacy?

Read more
Technological advances • January 25, 2022

January 25, 2022 | Looking for a needle in a haystack? Ivette can help!

Read more
Technological advances • September 28, 2021

September 28, 2021 | Tiempo Secure, in collaboration with CEA, makes the Internet of Things more resilient with French Government support

Read more
Technological advances • September 21, 2021

September 21, 2021 | Automated software analysis for secure IoT devices with LEIA

Read more