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

Ivan Bardet
  • Sujets de recherche: Systèmes de spins quantiques
  • Page personnelle: lien
Picture
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

Post-doctorants

Ritam Bhaumik
  • Sujets de recherche: Cryptographie symétrique, cryptanalyse quantique
  • Page personnelle: lien
Picture
Dragos-Alexandru Cojocaru
  • Sujets de recherche: Cryptographie post-quantique, théorie des codes
  • Page personnelle: lien
Picture
Nicholas Connoly
  • Sujets de recherche: Cryptographie post-quantique, théorie des codes
  • Page personnelle: lien
Picture

Chercheurs doctorants

Augustin Bariant
  • Sujets de recherche: Cryptanalyse de primitives basées sur l'AES, Étude des candidats de la compétition du NIST lightweight
  • Page personnelle: lien
Picture
Jules Baudrin
  • Sujets de recherche: Cryptanalyse Symétrique
  • Page personnelle: lien
Picture
Clémence Bouvier
  • Sujets de recherche: Cryptographie symétrique, primitives prévues pour l'arithmétisation
  • Page personnelle: lien
Picture
Pierre Briaud
  • Sujets de recherche: Cryptographie basée sur les codes, crypto-systèmes multivariés
  • Page personnelle: lien
Picture
Nicolas David
  • Sujets de recherche: Cryptographie symétrique, cryptanalyse quantique
  • Page personnelle: lien
Picture
Loïc Demange
  • Sujets de recherche:
  • Page personnelle: lien
Picture
Aurélie Denys
  • Sujets de recherche: théorie de l'information quantique.
  • Page personnelle: lien
Picture
Simona Etinski
  • Sujets de recherche: cryptographie basée sur les codes, cryptanalyse classique et quantique, protocoles zero-knowledge
  • Page personnelle: lien
Picture
Antonio Florez Gutierrez
  • Sujets de recherche: Cryptographie symétrique, cryptanalyse quantique
  • Page personnelle: lien
Picture
Paul Frixons
  • Sujets de recherche: Cryptographie symétrique, cryptanalyse quantique
  • Page personnelle: lien
Picture
Lucien Groues
  • Sujets de recherche:
  • Page personnelle: lien
Picture
Johanna Loyer
  • Sujets de recherche:
  • Page personnelle: lien
Picture
Charles Meyer-Hilfiger
  • Sujets de recherche:
  • Page personnelle: lien
Picture
Rocco Mora
  • Sujets de recherche:
  • Page personnelle: lien
Picture
Andrea Olivo
  • Sujets de recherche:
  • Page personnelle: lien
Picture
Clara Pernot
  • Sujets de recherche: Cryptographie symétrique
  • Page personnelle: lien
Picture
Maxime Remaud
  • Sujets de recherche:
  • 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: 29/03/2022