Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Faible Fiat-Shamir: Vulnérabilités dans les protocoles cryptographiques

Description

Cette séance de cours traite des vulnérabilités associées à l'heuristique Fiat-Shamir et de ses implications pour le système de vote électronique Helios. L'instructeur présente les protocoles Sigma, qui permettent à un pronostiqueur de démontrer la connaissance d'un secret sans le révéler. La séance de cours explique comment la transformation de Fiat-Shamir peut convertir ces protocoles interactifs en protocoles non interactifs, soulignant l'importance des propriétés de sécurité telles que la solidité spéciale et la connaissance zéro. La présentation met en évidence deux attaques importantes sur le système Helios: une attaque par déni de service qui invalide les élections et une attaque plus sévère qui permet à un attaquant de manipuler les résultats des élections. La discussion comprend une analyse détaillée de la façon dont les transformations faibles de Fiat-Shamir peuvent conduire à des failles de sécurité, en particulier dans le contexte d’Helios. La séance de cours se termine par des recommandations pour l'utilisation de fortes transformations Fiat-Shamir pour améliorer la sécurité, tout en tenant compte des compromis entre sécurité et efficacité dans les applications cryptographiques.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Enseignant·e

Serge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.

Source officielle

Concepts associés (32)

thumb|La machine de Lorenz utilisée par les nazis durant la Seconde Guerre mondiale pour chiffrer les communications militaires de haut niveau entre Berlin et les quartiers-généraux des différentes armées. La cryptographie est une des disciplines de la cryptologie s'attachant à protéger des messages (assurant confidentialité, authenticité et intégrité) en s'aidant souvent de secrets ou clés. Elle se distingue de la stéganographie qui fait passer inaperçu un message dans un autre message alors que la cryptographie rend un message supposément inintelligible à autre que qui de droit.

Clé de chiffrement

Une clé est un paramètre utilisé en entrée d'une opération cryptographique (chiffrement, déchiffrement, scellement, signature numérique, vérification de signature). Une clé de chiffrement peut être symétrique (cryptographie symétrique) ou asymétrique (cryptographie asymétrique). Dans le premier cas, la même clé sert à chiffrer et à déchiffrer. Dans le second cas on utilise deux clés différentes, la clé publique est utilisée au chiffrement alors que celle servant au déchiffrement est gardée secrète : la clé secrète, ou clé privée, et ne peut pas se déduire de la clé publique.

Preuve à divulgation nulle de connaissance

Une preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. En pratique, ces schémas se présentent souvent sous la forme de protocoles de type « défi/réponse » (challenge-response).

Système électoral

thumb|400px|Système électoral utilisé pour élire la chambre basse par pays. Système majoritaire Système semi-proportionnel Système proportionnel Système mixte Autre Le 'système électoral, mode de scrutin', système de vote ou régime électoral, désigne tout type de processus permettant l'expression du choix d'un corps électoral donné, souvent la désignation d'élus pour exercer un mandat en tant que représentants de ce corps (élection), ou moins souvent le choix direct (référendum) d'une option parmi plusieurs.

Protocole cryptographique

Un protocole de sécurité (protocole cryptographique ou protocole de chiffrement) est un protocole abstrait ou concret qui remplit une fonction liée à la sécurité et applique des méthodes cryptographiques, souvent sous forme de séquences de primitives cryptographiques. Un protocole décrit comment les algorithmes doivent être utilisés et inclut des détails sur les structures de données et les représentations, à quel point il peut être utilisé pour implémenter plusieurs versions interopérables d'un programme.