Pseudo-Code Algorithms for Verifiable Re-Encryption Mix-Nets

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

[img]
Preview
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, Eric0000-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 View Item
Provide Feedback