Quentin Yang (Caramba) soutiendra sa thèse intitulée “Coercion-resistance in electronic voting: design and analysis”, le 23 juin à 9h30 en salle A008.
Résumé :
Le vote est un outil central au bon fonctionnement de toute démocratie. Malgré son utilisation lors d’élections à grands enjeux, le vote électronique n’apporte pas encore le même niveau de sécurité que le vote papier. En particulier, des menaces déjà existantes telles que la coercition et l’achat de vote risquent de gagner en ampleur et d’impacter les résultats. Au cours de cette thèse, nous étudions les solutions académiques permettant de faire face à ces phénomènes, à savoir les notions de coercion-resistance et de receipt-freeness. Sur ces sujets, nous identifions des limites des définitions existantes et proposons de nouvelles définitions permettant de modéliser de plus larges scénarios d’attaque. En plus de ces améliorations théoriques et pratiques, nous proposons des stratégies efficaces pour éliminer certains risques, comme les attaques à l’italienne et l’achat de vote. Pour cela, nous développons une boîte à outils reposant sur des primitives dites de multi-party computation, qui permettent à différents participants d’évaluer une fonction sur des données chiffrées. Cela nous permet de proposer de nouvelles méthodes de dépouillement offrant une propriété de tally-hiding, qui contrecarre les attaques à l’italienne. Ces méthodes peuvent notamment s’appliquer à d’autres types de scrutin que le vote uninominal, comme par exemple le vote préférentiel. Pour ce qui concerne l’achat de vote, une autre contribution de cette thèse est de généraliser la notion de receipt-freeness afin qu’elle réponde davantage à ce risque, comparée aux notions existantes. Nous proposons par ailleurs une solution modulaire qui permet de réaliser cette notion de receipt-freeness, et donc de mettre à mal les stratégies d’achat de vote. Cette solution s’appuie sur de nouvelles primitives de chiffrement, appelées traceable encryptions.
Jury
- Adeline Roux-Langlois, chargée de recherche au CNRS (rapporteuse),
- Damien Vergnaud, professeur à l’université de Sorbonne (rapporteur),
- Henri Gilbert, responsable de laboratoire à l’ANSSI,
- Marc Joye, directeur scientifique chez Zama,
- Simon Perdrix, directeur de recherche Inria,
- Vanessa Teague, Professeur associée à l’Australian National University,
- Véronique Cortier, directrice de recherche au CNRS (encadrante),
- Pierrick Gaudry, directeur de recherche au CNRS (encadrant).
