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
CEA-List is working with RTE on the design of the power grid infrastructure operator’s future power grid control system.
Read more
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