February 4, 2021 | Making data exchanges more secure

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.

Challenges • March 4, 2022

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?

Technological advances • January 25, 2022

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

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

Technological advances • September 21, 2021

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

press releases • July 26, 2021

July 26, 2021 | Booster Project

Technological advances • March 24, 2021

March 24, 2021 | More resilient cybersecurity for IoT devices

Technological advances • February 4, 2021

February 4, 2021 | Making data exchanges more secure

Le CEA est un acteur majeur de la recherche, au service de l'État, de l'économie et des citoyens. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité.

3

Formal methods

Digital Trust

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

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

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

July 26, 2021 | Booster Project

March 24, 2021 | More resilient cybersecurity for IoT devices

February 4, 2021 | Making data exchanges more secure

CEA-List, the smart digital systems specialists

▼ Naviguer dans le portail ▼