TY - GEN
T1 - Efficient Mixing of Arbitrary Ballots with Everlasting Privacy
T2 - 25th Nordic Conference on Secure IT Systems, NordSec 2020
AU - Gjøsteen, Kristian
AU - Haines, Thomas
AU - Solberg, Morten Rotvold
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - The long term privacy of voting systems is of increasing concern as quantum computers come closer to reality. Everlasting privacy schemes offer the best way to manage these risks at present. While homomorphic tallying schemes with everlasting privacy are well developed, most national elections, using electronic voting, use mixnets. Currently the best candidate encryption scheme for making these kinds of elections everlastingly private is PPATC, but it has not been shown to work with any mixnet of comparable efficiency to the current ElGamal mixnets. In this work we give a paper proof, and a machine checked proof, that the variant of Wikström’s mixnet commonly in use is safe for use with the PPATC encryption scheme.
AB - The long term privacy of voting systems is of increasing concern as quantum computers come closer to reality. Everlasting privacy schemes offer the best way to manage these risks at present. While homomorphic tallying schemes with everlasting privacy are well developed, most national elections, using electronic voting, use mixnets. Currently the best candidate encryption scheme for making these kinds of elections everlastingly private is PPATC, but it has not been shown to work with any mixnet of comparable efficiency to the current ElGamal mixnets. In this work we give a paper proof, and a machine checked proof, that the variant of Wikström’s mixnet commonly in use is safe for use with the PPATC encryption scheme.
KW - Coq
KW - E-voting
KW - Everlasting privacy
KW - Verifiable shuffles
UR - http://www.scopus.com/inward/record.url?scp=85103533566&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-70852-8_6
DO - 10.1007/978-3-030-70852-8_6
M3 - Conference contribution
SN - 9783030708511
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 92
EP - 107
BT - Secure IT Systems - 25th Nordic Conference, NordSec 2020, Proceedings
A2 - Asplund, Mikael
A2 - Nadjm-Tehrani, Simin
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 23 November 2020 through 24 November 2020
ER -