Une analyse complète des protocoles de vote électronique quantique.

Résumé Les avancées récentes de Google, d'IBM et d'un certain nombre de groupes de recherche indiquent que les ordinateurs quantiques seront bientôt une réalité. Motivés par la menace de plus en plus réaliste que représentent les ordinateurs quantiques pour les protocoles cryptographiques classiques existants, les chercheurs ont mis au point plusieurs mécanismes de résistance aux "attaques quantiques". En particulier, pour le vote électronique, plusieurs schémas de vote électronique reposant sur les propriétés de la mécanique quantique ont été proposés. Cependant, chacune de ces propositions s'accompagne d'un modèle de corruption différent et souvent mal articulé, a des objectifs différents et s'accompagne de revendications de sécurité qui ne sont jamais formalisées et ne sont au mieux justifiées que contre des attaques spécifiques. Dans cet article, nous systématisons et évaluons la sécurité des protocoles de vote électronique proposés, basés sur la technologie quantique. Nous examinons les revendications de ces travaux concernant la confidentialité, la correction et la vérifiabilité, et si elles sont correctement attribuées aux protocoles proposés. Dans tous les cas non triviaux, nous avons identifié des attaques quantiques spécifiques qui violent ces propriétés. Nous soutenons que la cause de ces échecs réside dans l'absence de modèles de sécurité formels et dans un manque plus général de référence à la littérature cryptographique existante.