Vote électronique : conception et analyse

Les français de l'étranger peuvent désormais élire leurs députés par Internet. Idéalement, tout système de vote doit apporter les mêmes garanties que le vote papier à l'urne. Il faut en particulier assurer la confidentialité des votes et la transparence du dépouillement. Pour illustrer ces propriétés, nous présenterons le système de vote Helios et certaines de ses variantes.

Dans un deuxième temps, nous étudierons les techniques d'analyse développées à l'heure actuelle, aussi bien dans des modèles symboliques (algèbre de processus, clauses de Horn) que dans des modèles calculatoires (où l'attaquant est une machine de Turing).

Note aux élèves qui auraient assisté à l'exposé donné au Loria en
janvier 2014: l'introduction sur le vote sera en partie commune mais
approfondie. Les techniques d'analyse présentées seront en grande
partie différentes.