Partager cette page :

Vote électronique : conception et analyse

le 30 septembre 2014

16h00

ENS Rennes Pour des raisons techniques ce séminaire aura lieu en salle SDS
(rez-de-chaussée du bâtiment Sciences du Sport).
Plan d'accès

Intervention de Véronique Cortier (LORIA, CNRS, Nancy, France).
Séminaire du département Informatique et télécommunications.

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.
Thématique(s)
Formation, Recherche - Valorisation
Contact
François Schwarzentruber

Mise à jour le 12 février 2015