Véronique Cortier - Vote électronique : conception, attaques et vérification formelle