In cybersecurity, newly-introduced software vulnerabilities must be detected immediately. The generic incremental analysis techniques recently integrated into Frama-C can verify code quickly after local modifications.
Read more
In fields like defense, industry, healthcare, and finance, data privacy is a major challenge. One promising avenue is using fullyhomomorphic encryption (FHE) to compute on encrypted data. However, to implement this approach, many hurdles must be overcome—ones that CEA-List has been working on for years.
Read more
With the development of quantum computers—and their threat to modern cryptography—post-quantum cryptography is gradually making inroads into the industrial ecosystem. HQC (Hamming Quasi-Cyclic) is one of the post-quantum encryption algorithms recently standardized by NIST.
Read more
In robotic gripping, the positions of the effectors (phalanges or fingertips) on an object must be controlled precisely. CEA-List looked at a practical case where the only information available was a 3D point cloud of the gripper, generated by visual sensors, simulations, or generative neural networks.
Read more
CEA-List developed an ontology-based cognitive interface to enable context-sensitive programming that requires no robotics expertise.
Read more
CEA-List has been researching the principle of active lubrication for around ten years and has developed a fully integrated actuator that paves the way for a new type of brake suitable for a wide range of applications.
Read more
The work carried out by CEA-List enables ultrasonic wave measurements to be taken using a Bragg grating at temperatures exceeding 1000°C.
Read more
Neutrinos, which are virtually undetectable particles, have been studied by the BeEST collaboration using ultra-sensitive quantum sensors, measuring for the first time the size of their wave packet at the moment of their creation.
Read more