µArchiFI

Pre-silicon formal analysis of processor microarchitectures and embedded software for more secure systems-on-chip with µArchiFI

Securing AI against adversarial attacks

The PyRAT and PARTICUL tools developed by CEA-List enable detection and protection against adversarial attacks.

Backdoor detection

Automated software testing at scale for maximum detection of vulnerabilities, even those that are hidden or complex.

[Startup] Trustinsoft, quality and security for C & C++ software

Using the Frama-C source code analyzer developed by CEA and Inria, TrustInSoft has developed a full suite of C & C++ software analysis tools and services.

[Startup] SNOWPACK, online invisibility for sensitive digital assets

Snowpack’s virtual and invisible private network makes servers, web services, IoT sensors, and other digital assets safe from the prying eyes of even the most experienced hackers

Together, DGA and CEA-List move security code analysis forward

The procurement department of the French defense agency (DGA) relies on tools developed by CEA-List for the formal analysis of the code in the security products used by the agency and its suppliers.

Forum InCyber 2025

European Cyber Week 2024

CEA-List is developing advanced cybersecurity programs for critical contexts such as aerospace, nuclear, railway, and healthcare. Our tools, including Frama-C and Sigmo-IDS