Secure E-Voting; Coercion-Resistance; Fully Homomorphic Encryption; Post-Quantum Cryptography; Quantum-Secure; Linear Time Complexity; Threshold Cryptography; Deniability; Zero-Knowledge Proof; Homomorphic Hashing
Abstract :
[en] We present an approach for performing the tallying work in the coercion-resistant JCJ voting protocol, introduced by Juels, Catalano, and Jakobsson, in linear time using fully homomorphic encryption (FHE). The suggested enhancement also paves the path towards making JCJ quantum-resistant, while leaving the underlying structure of JCJ intact. The pairwise comparison-based approach of JCJ using plaintext equivalence tests leads to a quadratic blow-up in the number of votes, which makes the tallying process rather impractical in realistic settings with a large number of voters. We show how the removal of invalid votes can be done in linear time via a solution based on recent advances in various FHE primitives such as hashing, zero-knowledge proofs of correct decryption, verifiable shuffles and threshold FHE. We conclude by touching upon some of the advantages and challenges of such an approach, followed by a discussion of further security and post-quantum considerations.
Disciplines :
Computer science
Author, co-author :
Roenne, Peter ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Atashpendar, Arash ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kristian, Gjøsteen; Norwegian University of Science and Technology, NTNU, Norway
Ryan, Peter ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme
Publication date :
2020
Event name :
Financial Cryptography and Data Security 2019
Event date :
From 18-02-2019 to 22-02-2019
Audience :
International
Main work title :
Financial Cryptography and Data Security 2019. FC 2019: International Workshops, CIW, VOTING, and WTSC