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.

July 11, 2024 | Robotic operator assistance for the precise handling of heavy loads

CEA-List’s Cobomanip cobot, developed over a decade of R&D, gives operators precision load[1]handling assistance in complex environments.

July 9, 2024 | Formal methods for blockchain

When it comes to consensus-based distributed systems like the most recent blockchain protocols, innovative formal specification and verification methods can help increase trust.

July 4, 2024 | Automated generation of test scenarios for autonomous vehicle safety

An extremely wide variety of potential driving scenarios makes it notoriously difficult to guarantee the safety of autonomous vehicles.

July 2, 2024 | Quantum software

New computing paradigms will require appropriate programming, verification, and code analysis tools.

aidge

June 7, 2024 | Training for excellence in machine learning: researchers, sign up!

The CEA-List institute is part of the scientific committee of upcoming CIMI thematic trimester dedicated to recent developments and challenges of high-dimensional statistical inference & machine learning.

May 22, 2024 | Towards more energy-efficient blockchain

CEA-List, a pioneer in blockchain research, is helping to guarantee the reliability of energy-efficient proof-of-stake (PoS) consensus mechanisms. This research responds to demand among CEA-List partners for solutions to help them reduce their environmental impacts.