Supporters
We gratefully acknowledge support from the following sponsors.
Sponsored by IEEE Computer Society's |
Formal analysis of electronic voting protocols |
Ministère de l'Enseignement Supérieur et de la Recherche