[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

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

October 14, 2024 | On a circuit with near-memory computing capabilities

August 20, 2024 | Towards the formal certification of security products

A collaboration with Thales has enabled CEA-List to design innovative methods for certifying safety products.

July 16, 2024 | Integration of active attacker models into security program analysis

CEA-List and Université Grenoble Alpes have developed the first-ever software security analysis technique capable of simulating a powerful attacker at scale.

Eurosatory

Meet CEA-List teams at Eurosatory from June 17 to 21 in Paris and discover our latest innovations.