Haenni, Rolf; Locher, Philipp; Koenig, Reto; Dubuis, Eric (2017). Pseudo-Code Algorithms for Verifiable Re-Encryption Mix-Nets In: Brenner, M.; Rohloff, K.; Bonneau, J.; Miller, A.; Ryan, P. Y. A.; Teague, V.; Bracciali, A.; Sala, M.; Pintore, F.; Jakobsson, M. (eds.) Financial Cryptography and Data Security 2017, International Workshops,. LNCS: Vol. 10323 (pp. 370-384). Silema, Malta: Springer
|
Text
HLKD17.pdf - Accepted Version Available under License Publisher holds Copyright. Download (349kB) | Preview |
Implementing the shuffle proof of a verifiable mix-net is one of the most challenging tasks in the implementation of an electronic voting system. For non-specialists, even if they are experienced software developers, this task is nearly impossible to fulfill without spending an enormous amount of resources into studying the necessary cryptographic theory. In this paper, we present one of the existing shuffle proofs in a condensed form and explain all the necessary technical details in corresponding pseudo-code algorithms. The goal of presenting the shuffle proof in this form is to make it accessible to a broader audience and to facilitate its implementation by non-specialists.
Item Type: |
Conference or Workshop Item (Paper) |
|---|---|
Division/Institute: |
School of Engineering and Computer Science > Research Institute for the Security in the Information Society RISIS > RISIS / E-Voting Group School of Engineering and Computer Science > Institute for Cybersecurity & Engineering (ICE) > ICE / E-Voting Group |
Name: |
Haenni, Rolf; Locher, Philipp; Koenig, Reto; Dubuis, Eric  0000-0001-7368-7067; Brenner, M.; Rohloff, K.; Bonneau, J.; Miller, A.; Ryan, P. Y. A.; Teague, V.; Bracciali, A.; Sala, M.; Pintore, F. and Jakobsson, M. |
Subjects: |
Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Series: |
LNCS |
Publisher: |
Springer |
Language: |
English |
Submitter: |
Rolf Haenni |
Date Deposited: |
03 Feb 2021 11:05 |
Last Modified: |
03 Feb 2021 11:05 |
Uncontrolled Keywords: |
e-voting |
ARBOR DOI: |
10.24451/arbor.8269 |
URI: |
https://arbor.bfh.ch/id/eprint/8269 |
Actions (login required)
 |
View Item |