Short paper: An update on marked mix-nets: an attack, a fix and pq possibilities

Thomas Haines; Olivier Pereira; Peter B. Rønne

doi:10.1007/978-3-030-54455-3_26

Short paper: An update on marked mix-nets: an attack, a fix and pq possibilities

Thomas Haines, Olivier Pereira, Peter B. Rønne^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Marked mix-nets were introduced by Pereira and Rivest as a mechanism to allow very efficient mixing that ensures privacy but at the cost of not guaranteeing integrity. This is useful in a number of e-voting schemes such as STAR-Vote and Selene. However, the proposed marked mix-net construction comes with no proof of security and, as we show in this paper, does not provide privacy even in the presence of a single corrupt authority. Fortunately, the attack that we present is easy to prevent and we show several possible ways to address it. Finally while the original marked mix-net paper worked with ElGamal, we identify conditions that the adopted encryption scheme should satisfy in order to be appropriate for a marked mix-net. This opens the possibility of building marked mix-nets based on intractability assumptions which are believed to hold in the presence of a quantum computer.

Original language	English
Title of host publication	Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers
Editors	Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin’ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala
Publisher	Springer
Pages	360-368
Number of pages	9
ISBN (Print)	9783030544546
DOIs	https://doi.org/10.1007/978-3-030-54455-3_26
Publication status	Published - 2020
Externally published	Yes
Event	1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020, held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020 - Kota Kinabalu, Malaysia Duration: 14 Feb 2020 → 14 Feb 2020

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12063 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020, held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020
Country/Territory	Malaysia
City	Kota Kinabalu
Period	14/02/20 → 14/02/20

Access to Document

10.1007/978-3-030-54455-3_26

Cite this

Haines, T., Pereira, O., & Rønne, P. B. (2020). Short paper: An update on marked mix-nets: an attack, a fix and pq possibilities. In M. Bernhard, A. Bracciali, L. J. Camp, S. Matsuo, A. Maurushat, P. B. Rønne, & M. Sala (Eds.), Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers (pp. 360-368). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12063 LNCS). Springer. https://doi.org/10.1007/978-3-030-54455-3_26

Haines, Thomas ; Pereira, Olivier ; Rønne, Peter B. / Short paper : An update on marked mix-nets: an attack, a fix and pq possibilities. Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers. editor / Matthew Bernhard ; Andrea Bracciali ; L. Jean Camp ; Shin’ichiro Matsuo ; Alana Maurushat ; Peter B. Rønne ; Massimiliano Sala. Springer, 2020. pp. 360-368 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ac56e378d3d744688ad765d1f6a1329f,

title = "Short paper: An update on marked mix-nets: an attack, a fix and pq possibilities",

abstract = "Marked mix-nets were introduced by Pereira and Rivest as a mechanism to allow very efficient mixing that ensures privacy but at the cost of not guaranteeing integrity. This is useful in a number of e-voting schemes such as STAR-Vote and Selene. However, the proposed marked mix-net construction comes with no proof of security and, as we show in this paper, does not provide privacy even in the presence of a single corrupt authority. Fortunately, the attack that we present is easy to prevent and we show several possible ways to address it. Finally while the original marked mix-net paper worked with ElGamal, we identify conditions that the adopted encryption scheme should satisfy in order to be appropriate for a marked mix-net. This opens the possibility of building marked mix-nets based on intractability assumptions which are believed to hold in the presence of a quantum computer.",

author = "Thomas Haines and Olivier Pereira and R{\o}nne, {Peter B.}",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.; 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020, held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020 ; Conference date: 14-02-2020 Through 14-02-2020",

year = "2020",

doi = "10.1007/978-3-030-54455-3_26",

language = "English",

isbn = "9783030544546",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "360--368",

editor = "Matthew Bernhard and Andrea Bracciali and Camp, {L. Jean} and Shin{\textquoteright}ichiro Matsuo and Alana Maurushat and R{\o}nne, {Peter B.} and Massimiliano Sala",

booktitle = "Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers",

address = "Germany",

}

Haines, T, Pereira, O & Rønne, PB 2020, Short paper: An update on marked mix-nets: an attack, a fix and pq possibilities. in M Bernhard, A Bracciali, LJ Camp, S Matsuo, A Maurushat, PB Rønne & M Sala (eds), Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12063 LNCS, Springer, pp. 360-368, 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020, held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020, Kota Kinabalu, Malaysia, 14/02/20. https://doi.org/10.1007/978-3-030-54455-3_26

Short paper: An update on marked mix-nets: an attack, a fix and pq possibilities. / Haines, Thomas; Pereira, Olivier; Rønne, Peter B.
Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers. ed. / Matthew Bernhard; Andrea Bracciali; L. Jean Camp; Shin’ichiro Matsuo; Alana Maurushat; Peter B. Rønne; Massimiliano Sala. Springer, 2020. p. 360-368 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12063 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Short paper

T2 - 1st Asian Workshop on Usable Security, AsiaUSEC 2020, the 1st Workshop on Coordination of Decentralized Finance, CoDeFi 2020, the 5th Workshop on Advances in Secure Electronic Voting, VOTING 2020, and the 4th Workshop on Trusted Smart Contracts, WTSC 2020, held at the 24th International Conference on Financial Cryptography and Data Security, FC 2020

AU - Haines, Thomas

AU - Pereira, Olivier

AU - Rønne, Peter B.

N1 - Publisher Copyright: © Springer Nature Switzerland AG 2020.

PY - 2020

Y1 - 2020

N2 - Marked mix-nets were introduced by Pereira and Rivest as a mechanism to allow very efficient mixing that ensures privacy but at the cost of not guaranteeing integrity. This is useful in a number of e-voting schemes such as STAR-Vote and Selene. However, the proposed marked mix-net construction comes with no proof of security and, as we show in this paper, does not provide privacy even in the presence of a single corrupt authority. Fortunately, the attack that we present is easy to prevent and we show several possible ways to address it. Finally while the original marked mix-net paper worked with ElGamal, we identify conditions that the adopted encryption scheme should satisfy in order to be appropriate for a marked mix-net. This opens the possibility of building marked mix-nets based on intractability assumptions which are believed to hold in the presence of a quantum computer.

AB - Marked mix-nets were introduced by Pereira and Rivest as a mechanism to allow very efficient mixing that ensures privacy but at the cost of not guaranteeing integrity. This is useful in a number of e-voting schemes such as STAR-Vote and Selene. However, the proposed marked mix-net construction comes with no proof of security and, as we show in this paper, does not provide privacy even in the presence of a single corrupt authority. Fortunately, the attack that we present is easy to prevent and we show several possible ways to address it. Finally while the original marked mix-net paper worked with ElGamal, we identify conditions that the adopted encryption scheme should satisfy in order to be appropriate for a marked mix-net. This opens the possibility of building marked mix-nets based on intractability assumptions which are believed to hold in the presence of a quantum computer.

UR - http://www.scopus.com/inward/record.url?scp=85089619921&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-54455-3_26

DO - 10.1007/978-3-030-54455-3_26

M3 - Conference contribution

SN - 9783030544546

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 360

EP - 368

BT - Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers

A2 - Bernhard, Matthew

A2 - Bracciali, Andrea

A2 - Camp, L. Jean

A2 - Matsuo, Shin’ichiro

A2 - Maurushat, Alana

A2 - Rønne, Peter B.

A2 - Sala, Massimiliano

PB - Springer

Y2 - 14 February 2020 through 14 February 2020

ER -

Haines T, Pereira O, Rønne PB. Short paper: An update on marked mix-nets: an attack, a fix and pq possibilities. In Bernhard M, Bracciali A, Camp LJ, Matsuo S, Maurushat A, Rønne PB, Sala M, editors, Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Revised Selected Papers. Springer. 2020. p. 360-368. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-54455-3_26

Short paper: An update on marked mix-nets: an attack, a fix and pq possibilities

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this