[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

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.