L'anonymat cryptographique est une propriété de sécurité qui élimine ou limite l'identification des utilisateurs dans les primitives cryptographiques ou les protocoles de communication. Il a été d'un intérêt prédominant et est aujourd'hui devenu central dans les enjeux de société. Dans cette thèse, nous étudions des signatures électroniques dotées de diverses propriétés d'anonymat, afin de développer les mécanismes qui permettront, de restreindre le degré d'identification aux cas strictement nécessaires. Nous avons porté notre attention sur l'analyse des propriétés d'anonymat des signatures d'anneau liées, qui assurent l'anonymat tout en maintenant un lien entre les signatures des mêmes signataires, ce qui est particulièrement pertinent dans le contexte du vote électronique. Notre intérêt s'est aussi porté sur les mécanismes de délégation de signatures. Nous proposons une méthode permettant d'assurer l'anonymat d'un délégué tout en limitant le nombre de signatures qu'il peut émettre. Le fait de dépasser le seuil implique la révélation de son identité, ainsi que la possibilité de retracer toutes les signatures qu'il aura émises. Dans ces deux études, nous avons adopté le paradigme de la cryptographie prouvée et nous nous appuierons sur des modèles dits calculatoires. Nous considérerons également le (non) anonymat d'un protocole largement déployé - le protocole de paiement par carte EMV - nous proposons des constructions offrant différents niveaux d'anonymat et compatible avec la norme et les régulations existante. Notre étude ne se limite pas à l'anonymat ; nous nous penchons également sur d'autres propriétés essentielles, pour modérer un anonymat trop fort et assurer que les primitives soient facilement intégrables dans des systèmes concrets.

Jury :

Pascal Lafourcade, LIMOS (directeur)
Xavier Bultel, INSA CVL, LIFO (encadrant)
Sébastien Canard, Télécom ParisTech (rapporteur)
Cristina Onete, XLIM, (rapporteuse)
Olivier Blazy, Ecole Polytechnique (examinateur)
Katharina Boudgoust, CNRS, LIRMM (examinatrice)
Dario Fiore, IMDEA (examinateur)
David Pointcheval, Cosmian (examinateur).