Code voting: when simplicity meets security

Code voting: when simplicity meets security. Véronique Cortier, Alexandre Debant, and Florian Moser. In Esorics 2024 - 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, 2024.

Download

[PDF]

Abstract

The Swiss Chancellery has developed highly demanding requirements in terms of security for electronic voting. A few protocols have been proposed that meet the requirements. We propose a very simple protocol that satisfies the Swiss requirements while achieving an additional property: secrecy against a dishonest voting device, thanks to code voting. One key feature of our protocol is to use very short codes (typically one or two digits), so that it can be easily used by voters. Moreover, it only relies on standard primitives. Using the tool ProVerif, we formally prove vote privacy and end-to-end verifiability under the trust model of the Swiss Chancellery, assuming a dishonest voting device.

BibTeX

@inproceedings{Code-Voting-Esorics24,
  TITLE = {Code voting: when simplicity meets security},
  AUTHOR = {V{\'e}ronique Cortier and Alexandre Debant and Florian Moser},
  URL = {https://inria.hal.science/hal-04627733},
  BOOKTITLE = {{Esorics 2024 - 29th European Symposium on Research in Computer Security}},
  ADDRESS = {Bydgoszcz, Poland},
  YEAR = {2024},
  abstract = {The Swiss Chancellery has developed highly demanding requirements in terms of security for electronic voting. A few protocols have been proposed that meet the requirements. We propose a very simple protocol that satisfies the Swiss requirements while achieving an additional property: secrecy against a dishonest voting device, thanks to code voting. One key feature of our protocol is to use very short codes (typically one or two digits), so that it can be easily used by voters. Moreover, it only relies on standard primitives. Using the tool ProVerif, we formally prove vote privacy and end-to-end verifiability under the trust model of the Swiss Chancellery, assuming a dishonest voting device.},
}