Adapting Helios for provable ballot secrecy

David Bernhard 1 Véronique Cortier 2 Olivier Pereira 3 Ben Smyth 2 Bogdan Warinschi 1
2 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Recent results show that the current implementation of Helios, a practical e-voting protocol, does not ensure independence of the cast votes, and demonstrate the impact of this lack of independence on vote privacy. Some simple xes seem to be available and security of the revised scheme has been studied with respect to symbolic models. In this paper we study the security of Helios using computational models. Our rst contribution is a model for the property known as ballot privacy that generalizes and extends several existing ones. Using this model, we investigate an abstract voting scheme (of which the revised Helios is an instantiation) built from an arbitrary encryption scheme with certain functional properties. We prove, generically, that whenever this encryption scheme falls in the class of voting-friendly schemes that we de ne, the resulting voting scheme provably satis es ballot privacy. We explain how our general result yields cryptographic security guarantees for the revised version of Helios (albeit from non-standard assumptions). Furthermore, we show (by giving two distinct constructions) that it is possible to construct voting-friendly encryption, and therefore voting schemes, using only standard cryptographic tools. We detail an instantiation based on ElGamal encryption and Fiat-Shamir non-interactive zero-knowledge proofs that closely resembles Helios and which provably satis es ballot privacy.
Type de document :
Communication dans un congrès
Vijay Atluri and Claudia Diaz. 16th European Symposium on Research in Computer Security (ESORICS'11), Sep 2011, Louvain, Belgium. Springer Verlag, 6879, pp.335-354, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-23822-2_19〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638554
Contributeur : Véronique Cortier <>
Soumis le : samedi 5 novembre 2011 - 21:31:48
Dernière modification le : jeudi 15 février 2018 - 08:48:09

Lien texte intégral

Identifiants

Citation

David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi. Adapting Helios for provable ballot secrecy. Vijay Atluri and Claudia Diaz. 16th European Symposium on Research in Computer Security (ESORICS'11), Sep 2011, Louvain, Belgium. Springer Verlag, 6879, pp.335-354, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-23822-2_19〉. 〈inria-00638554〉

Partager

Métriques

Consultations de la notice

271