Election Verifiability for Helios under Weaker Trust Assumptions
| العنوان: | Election Verifiability for Helios under Weaker Trust Assumptions |
|---|---|
| المؤلفون: | Stéphane Glondu, Malika Izabachène, Véronique Cortier, David Galindo |
| المساهمون: | Combination of approaches to the security of infinite states systems (CASSIS), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Cryptology, Arithmetic: Hardware and Software (CARAMEL), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Algorithms, Computation, Image and Geometry (LORIA - ALGO), INRIA, European Project: 258865,EC:FP7:ERC,ERC-2010-StG_20091028,PROSECURE(2011), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS) |
| المصدر: | [Research Report] RR-8555, INRIA. 2014, pp.20 Proceedings of the 19th European Symposium on Research in Computer Security (ESORICS'14) Proceedings of the 19th European Symposium on Research in Computer Security (ESORICS'14), Sep 2014, Wroclaw, Poland HAL Computer Security-ESORICS 2014 ISBN: 9783319112114 ESORICS (2) |
| بيانات النشر: | HAL CCSD, 2014. |
| سنة النشر: | 2014 |
| مصطلحات موضوعية: | Scheme (programming language), Electronic voting, Computer science, media_common.quotation_subject, Internet privacy, 02 engineering and technology, HeliOS, Computer security, computer.software_genre, universal verifiability, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Voting, 0202 electrical engineering, electronic engineering, information engineering, ballot privacy, ballot stuffing, computer.programming_language, media_common, business.industry, 020206 networking & telecommunications, voting protocols, 16. Peace & justice, Registration authority, Bulletin board, Helios, Ballot, ComputingMilieux_COMPUTERSANDSOCIETY, 020201 artificial intelligence & image processing, Verifiable secret sharing, business, computer, individual verifiability |
| الوصف: | International audience; Most electronic voting schemes aim at providing verifiability: voters should trust the result without having to rely on some authorities. Actually, even a prominent voting system like Helios cannot fully achieve verifiability since a dishonest bulletin board may add ballots. This problem is called ballot stuffing.In this paper we give a definition of verifiability in the computational model to account for a malicious bulletin board that may add ballots. Next, we provide a generic construction that transforms a voting scheme that is verifiable against an honest bulletin board and an honest registration authority (weak verifiability) into a verifiable voting scheme under the weaker trust assumption that the registration authority and the bulletin board are not simultaneously dishonest (strong verifiability). This construction simply adds a registration authority that sends private credentials to the voters, and publishes the corresponding public credentials. We further provide simple and natural criteria that imply weak verifiability. As an application of these criteria, we formally prove the latest variant of Helios by Bernhard, Pereira and Warinschi weakly verifiable. By applying our generic construction we obtain a Helios-like scheme that has ballot privacy and strong verifiability (and thus prevents ballot stuffing).The resulting voting scheme, Helios-C, retains the simplicity of Helios and has been implemented and tested. |
| اللغة: | English |
| ردمك: | 978-3-319-11211-4 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c5e6c386ba2fff6ba0c0550269f9ffd https://hal.inria.fr/hal-01011294 |
| Rights: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....9c5e6c386ba2fff6ba0c0550269f9ffd |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783319112114 |
|---|