Programme


Mercredi 19 Mars
9h15 R. Rolland (IML)
Primitives cryptographiques et vote électronique
10h15 Pause café
10h30 J. Traore (France-Télécom)
Voter sans crainte ni contrainte
11h30 S. Kremer (ENS-LSV)
Vérification de propriétés de protocoles de vote
12h30 Déjeuner
15h00 Y. Lakhnech (Verimag)
Automated Proofs for Asymmetric Encryption
16h O. de Marneffe (UCL) 
Protocoles de vote end-to-end : analyse de sécurité basée sur la simulation
16h30 Pause café
17h T. Muntean (ERISCS)
Routage sécurisé pour le E-voting on line
17h30 C. Vacher (ENS-LSV)
Automates d'arbres rigides


Jeudi 20 Mars

9h S. Yousfi (LIP2)
Garantir l’anonymat dans le vote électronique
9h30 M. Berrima (LIP2)
Déduction de l'intrus dans le cas des protocoles de vote de  Lee et d'Okamoto
10h Pause café
10h30 J.-L. Raffy (INT-Paris)
Modélisation formelle d'une architecture pour le vote électronique
11h P. Gibson
Vote électronique et vérification (avec exemples de pb rencontrés en Irlande, en Europe, Etats-unis)
11h40 A. Fevrier (ERISCS)
Construction d'identités anonymes : application au vote électronique
12h30 Déjeuner
Après-midi libre


Vendredi 21 Mars
10h Réunion du comité scientifique de VETO
12h30 Déjeuner