HQC, un des schémas de cryptographie postquantique récemment standardisés par le NIST, présente des temps d’exécution relativement élevés sur les microcontrôleurs des systèmes embarqués.
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
L’informatique quantique est encore trop récente pour avoir défini un benchmark spécifique de référence, mais les recherches du CEA-List permettent d’en poser les premières briques.
Lire la suite
L’informatique requiert des outils de programmation, de vérification et d’analyse de code adaptés aux modèles de calcul sous-jacents.
Lire la suite
L’objectif du CEA-List avec ce programme est de créer les piles logicielles et architecturales permettant de lier les algorithmes au matériel et ainsi de rendre possible la programmation et l’exécution d’applications sur les futurs ordinateurs quantiques.
Lire la suite
Les ordinateurs quantiques nécessitent de réinventer la conception des algorithmes. Le CEA-List explore de nouvelles voies dans ce domaine.
Lire la suite
Le CEA-List s’est fixé comme objectif de rendre possible la programmation des futurs ordinateurs quantiques, en faisant le lien entre applications, algorithmes et matériel quantique.
Lire la suite