Distributed ElGamal à la Pedersen - Application to Helios

Véronique Cortier 1 David Galindo 1 Stephane Glondu 1, 2 Malika Izabachène 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 CARAMEL - Cryptology, Arithmetic: Hardware and Software
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : Real-world elections often require threshold cryptosystems so that any t out of l trustees can proceed to tallying. This is needed to protect the confidentiality of the voters' votes against curious authorities (at least t+1 trustees must collude to learn individual votes) as well as to increase the robustness of the election (in case some trustees become unavailable, t+1 trustees suffice to compute the election result). We describe a fully distributed (with no dealer) threshold cryptosystem suitable for the Helios voting system (in particular, suitable to partial decryption), and prove it secure under the Decisional Diffie-Hellman assumption. Secondly, we propose a fully distributed variant of Helios, that allows for arbitrary threshold parameters l,t, together with a proof of ballot privacy when used for referendums. Our modification of Helios can be seen as revision of the seminal multi-authority election system from Cramer, Gennaro and Schoenmakers, upon which the original Helios system is based. As such, our work implies, to our knowledge, the first formal proof of ballot privacy for the scheme by Cramer et al. Thirdly, we provide the first open-source implementation of Helios with a fully distributed key generation setup.
Type de document :
Communication dans un congrès
WPES 2013 - Proceedings of the 12th ACM workshop on privacy in the electronic society - 2013, Nov 2013, Berlin, Germany. ACM, pp.131-142, 2013, <10.1145/2517840.2517852>
Liste complète des métadonnées

https://hal.inria.fr/hal-00881076
Contributeur : Véronique Cortier <>
Soumis le : jeudi 7 novembre 2013 - 14:22:33
Dernière modification le : jeudi 22 septembre 2016 - 14:31:20

Identifiants

Citation

Véronique Cortier, David Galindo, Stephane Glondu, Malika Izabachène. Distributed ElGamal à la Pedersen - Application to Helios. WPES 2013 - Proceedings of the 12th ACM workshop on privacy in the electronic society - 2013, Nov 2013, Berlin, Germany. ACM, pp.131-142, 2013, <10.1145/2517840.2517852>. <hal-00881076>

Partager

Métriques

Consultations de la notice

381