computing-and-distributed-systems

2025 Scientific Report • April 3, 2026

Making 3D integration a reality

The CEA pioneered 2.5D and 3D integration with its IntAct circuit and has held on to its position as a leader in 3D integration ever since. Recent research by two CEA-List PhD students has led to significant advances in communications and security.

Read more
2025 Scientific Report • April 1, 2026

Embedded non-volatile memory with robust, optimized accesses

The CEA has been conducting R&D on resistive memory (ReRAM)— an alternative to flash memory—for more than a decade. A complete system integrating ReRAM into a processor architecture was recently designed and validated for advanced memory company Weebit Nano.

Read more
2025 Scientific Report • April 1, 2026

Quantum computing applications and use cases

Much like classical application-specific processors, quantum processing units (QPUs) are expected to be used to speed up certain computational steps in algorithm execution.

Read more
2025 Scientific Report • April 1, 2026

Qbricks: toward the formal verification of hybrid classical/ quantum programs

Advances in quantum computing are creating new challenges to our current code validation practices. CEA-List is developing new formal-analysis-based verification techniques to respond to this new context.

Read more
2025 Scientific Report • March 24, 2026

Auditing data access with no leaks

CEA-List has developed a new formal framework that ensures all reads are detected, even if interrupted, whilst safeguarding the confidentiality of audit trails from prying eyes.

Read more
2025 Scientific Report • March 24, 2026

Simulation of attacks on distributed systems

Using detailed simulations built into our MAX multi-agent tool, we conduct practical assessments of the impact of attacks on security, complementing more traditional theoretical analyses.

Read more