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





