systems-engineering-and-digital-twins

2024 Activity Report • June 27, 2025

Formal methods for program analysis

CEA-List possesses a formal methods-based toolkit that can help cybersecurity experts pinpoint vulnerabilities in software and prove that software protects data privacy and integrity—something that is required for the highest levels of software security certification.

Read more
2024 Activity Report • June 27, 2025

NACRE, a digital twin for the design of RTE’s future power grid control system

CEA-List is working with RTE on the design of the power grid infrastructure operator’s future power grid control system.

Read more
2024 Activity Report • June 19, 2025

Analyzing robustness of secure systems against fault injection attacks: in processor microarchitecture

Fault injection attacks threaten the security of digital systems. CEA-List and Graz Technical University (Austria) developed a new pre-silicon analysis method that led to the world’s first demonstration of the robustness of a processor and its boot code against these attacks.

Read more