Le CEA-List a développé un nouveau cadre formel garantissant la détection de toutes les lectures, même interrompues, tout en préservant la confidentialité des traces d’audit contre les lecteurs curieux.
Lire la suite
Grâce à des simulations fines intégrées dans notre outil multi-agent MAX, nous évaluons concrètement l’impact d’attaques sur la sécurité, complétant les analyses théoriques plus classiques.
Lire la suite
Avec le circuit Intact, le CEA a ouvert la voie dans le domaine de l’intégration 2.5D et 3D et reste un acteur incontournable dans cet écosystème.
Lire la suite
Forte de plus de 10 ans de R&D au CEA, la technologie mémoire résistive (RRAM) offre une alternative à la mémoire Flash. Le CEA a conçu et validé un système complet intégrant cette technologie mémoire dans une architecture de processeur pour la société Weebit Nano.
Lire la suite
Le but des processeurs quantiques (QPUs) est d’accélérer certaines étapes de calcul lors de l’exécution d’algorithmes. Les deux axes de recherche principaux sur le quantique au CEA-List sont, d’une part, d’étudier quelles applications peuvent être traitées efficacement par les puces quantiques, et, d’autre part, de réaliser des benchmarks applicatifs de ces puces.
Lire la suite
L’informatique quantique obligeant à repenser les pratiques de validation de code, le CEA-List développe de nouvelles techniques de vérification basées sur l’analyse formelle.
Lire la suite