É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.
Liens Utiles
- Liste de publications
- Nos publications sont listées sur HAL ici.
- Rapport d'activité
- Chaque année, les équipes-projet INRIA rédigent un rapport présentant leur résultats scientifiques et autres activité. Le dernier rapport de notre équipe est en ligne ici (en).
- Contact
Nous travaillons au Centre Inria de Paris. Pour y aller, vous pouvez suivre ces instructions.
INRIA - Projet SECRET
Bâtiment C - 2e étage
2 rue Simone Iff
CS 42112
75589 Paris Cedex 12, France
Les Membres de Cosmiq
Table des matières
Description rapide-
Que faisons-nous?
- Axes de recherche Liens utiles
- Anne Canteaut
- André Chailloux
- Pascale Charpin
- Gaëtan Leurent
- Anthony Leverrier
- María Naya-Plasencia
- Léo Perrin
- Nicolas Sendrier
- Jules Baudrin
- Agathe Blanvillain
- Aurélien Bœuf
- Virgile Guémard
- Valérian Hatey
- Axel Lemoine
- Dounia Mfoukh
- Charles Meyer-Hilfiger
-
Responsable de l'équipe projet
Assistante de projet
Chercheurs permanents
Responsable de l'équipe-projet
Jean-Pierre Tillich
|
Assistante de projet
Christelle Guiziou
|
Chercheurs permanents
Anne Canteaut
|
|
André Chailloux
|
|
Pascale Charpin
|
|
Gaëtan Leurent
|
|
Anthony Leverrier
|
|
María Naya-Plasencia
|
|
Léo Perrin
|
|
Nicolas Sendrier
|
Chercheurs en délégation
Laura Luzzi
|
Post-doctorants
Chercheurs doctorants
Jules Baudrin
|
|
Agathe Blanvillain
|
|
Aurélien Bœuf
|
|
Virgile Guémard
|
|
Valérian Hatey
|
|
Axel Lemoine
|
|
Dounia Mfoukh
|
|
Charles Meyer-Hilfiger
|
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
- Thomas Peyrin, Nanyang Technological University, Singapour.
- Alain Couvreur, équipe projet GRACE (Inria et Polytechnique), France.
- Christina Boura, Université de Versailles-Saint Quentin, France.
- Magali Bardet, Université de Rouen, France.