English Version | Page d'accueil Inria

Équipe-projet COSMIQ

Description Rapide

COdes, SyMétrIque et Quantique

Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et à l'analyse de la sécurité d'algorithmes cryptographiques, dans le contexte classique ou quantique. Ils sont notamment motivés par le fait que la cryptographie est actuellement dans une situation relativement fragile : la sécurité des primitives disponibles, symétriques ou asymétriques, est en effet menacée par les progrès récents de la cryptanalyse ou par l'éventuelle construction d'un ordinateur quantique. La plupart de nos travaux combinent les aspects fondamentaux et pratiques de la protection de l'information (cryptanalyse, conception d'algorithmes, mise en oeuvre).

Le projet COSMIQ fait suite au projet SECRET depuis le 1er janvier 2020 (qui faisait lui-même suite au projet CODES depuis le 1er janvier 2008).

Que faisons-nous ?

Axes de recherche

Algorithmes quantiques et cryptanalyse

Les ordinateurs quantiques ont un impact profond sur la cryptographie. Dans cet axe de recherche nous étudions cet impact

  • en concevant de nouvelles attaques quantiques à la fois en cryptographie symétrique et en cryptographie asymétrique en adaptant au cadre quantique des techniques classiques de cryptanalyse
  • mais aussi en concevant directement de nouvelles attaques quantiques qui n'ont pas de pendant classique.

Cryptographie symétrique

Nos travaux portent à la fois sur les chiffrements à flot, par blocs et les fonctions de hachage. Ils abordent conjointement tous les aspects de la cryptographie symétrique, des aspects les plus pratiques (attaques effectives de systèmes existants, conception de nouveaux chiffrements) aux plus théoriques, fondés sur les mathématiques discrètes.

Cryptographie fondée sur les codes

Les primitives cryptographiques exploitant la difficulté du problème de décodage d'un code linéaire offrent une alternative crédible à RSA ou à DSA pour obtenir des cryptosystèmes résistant à un ordinateur quantique. Nos travaux portent sur l'analyse de la sécurité de ce type de systèmes, leur mise en oeuvre pratique et également sur la conception de primitives efficaces fondées sur les codes.

Théorie de l'information quantique

L'obstacle principal au développement de l'informatique quantique est la décohérence, qui résulte de l'interaction entre l'ordinateur et l'environnement extérieur. Afin de lutter contre cet effet, nous explorons diverses approches pour la correction d'erreurs quantiques. Nous étudions plus particulièrement certaines familles de codes correcteurs quantiques qui généralisent les meilleurs codes classiques connus. Nos recherches portent également sur la cryptographie quantique : nous étudions la sécurité de protocoles efficaces de distribution de clefs, en étroite collaboration avec des expérimentateurs. Plus généralement, nous étudions l'impact de la physique quantique sur l'action des différents protagonistes d'un scénario cryptographique.

Les Membres de Cosmiq

Responsable de l'équipe-projet

Jean-Pierre Tillich
  • Sujets de recherche: cryptographie post-quantique, information quantique
  • Page personnelle: lien
Picture

Assistante de projet

Christelle Guiziou
  • Page personnelle: lien
Picture

Chercheurs permanents

Anne Canteaut
  • Sujets de recherche: Cryptographie symétrique, mathématiques discrètes
  • Page personnelle: lien
Picture
André Chailloux
  • Sujets de recherche: Algorithmique quantique
  • Page personnelle: lien
Picture
Pascale Charpin
  • Sujets de recherche: Mathématiques discrètes
  • Page personnelle: lien
Picture
Gaëtan Leurent
  • Sujets de recherche: Cryptographie symétrique
  • Page personnelle: lien
Picture
Anthony Leverrier
  • Sujets de recherche: Algorithmique quantique
  • Page personnelle: lien
Picture
María Naya-Plasencia
  • Sujets de recherche: Cryptographie symétrique, cryptanalyse quantique
  • Page personnelle: lien
Picture
Léo Perrin
  • Sujets de recherche: Cryptographie symétrique, mathématiques discrètes
  • Page personnelle: lien
Picture
Nicolas Sendrier
  • Sujets de recherche: Théorie des codes, cryptographie post-quantique
  • Page personnelle: lien
Picture

Chercheurs en délégation

Laura Luzzi
  • Sujets de recherche: théorie de l'information, codage, réseaux euclidiens
  • Page personnelle: lien
Picture

Post-doctorants

Chercheurs doctorants

Antoine Bak
  • Sujets de recherche: Cryptologie symétrique pour les protocoles avancés
  • Page personnelle: lien
Picture
Jules Baudrin
  • Sujets de recherche: Cryptanalyse Symétrique
  • Page personnelle: lien
Picture
Agathe Blanvillain
  • Sujets de recherche: Cryptanalyse quantique
  • Page personnelle: lien
Picture
Aurélien Bœuf
  • Sujets de recherche: Cryptographie symétrique, primitives prévues pour l'arithmétisation
  • Page personnelle: lien
Picture
Merlin Fruchon
  • Sujets de recherche: Analyse de probabilités différentielles à clef fixée
  • Page personnelle: lien
Picture
Virgile Guémard
  • Sujets de recherche: Codes quantiques
  • Page personnelle: lien
Picture
Valérian Hatey
  • Sujets de recherche: Cryptanalyse de cryptographie à base de codes
  • Page personnelle: lien
Picture
Guilhem Jazeron
  • Sujets de recherche: Cryptographie symétrique
  • Page personnelle: lien
Picture
Axel Lemoine
  • Sujets de recherche: Cryptanalyse de McEliece
  • Page personnelle: lien
Picture
Antoine Mesnard
  • Sujets de recherche: Cryptographie fondée sur les codes
  • Page personnelle: lien
Picture
Bastien Michel
  • Sujets de recherche: Optimisation de la cryptanalyse de primitives symétriques
  • Page personnelle: lien
Picture
Charles Meyer-Hilfiger
  • Sujets de recherche:
  • Page personnelle: lien
Picture
Dounia Mfoukh
  • Sujets de recherche: Cryptographie symétrique
  • Page personnelle: lien
Picture

Anciens membres

Les anciens membres de COSMIQ (et de ses incarnations précédentes SECRET et CODES) sont listés sur cette page.

Partenaires réguliers

Dernière MàJ: 20/11/2024