Paper 2024/1951
Vote&Check: Secure Postal Voting with Reduced Trust Assumptions
Abstract
Postal voting is a frequently used alternative to on-site voting. Traditionally, its security relies on organizational measures, and voters have to trust many entities. In the recent years, several schemes have been proposed to add verifiability properties to postal voting, while preserving vote privacy. Postal voting comes with specific constraints. We conduct a systematic analysis of this setting and we identify a list of generic attacks, highlighting that some attacks seem unavoidable. This study is applied to existing systems of the literature. We then propose Vote&Check, a postal voting protocol which provides a high level of security, with a reduced number of authorities. Furthermore, it requires only basic cryptographic primitives, namely hash functions and signatures. The security properties are proven in a symbolic model, with the help of the ProVerif tool.
Metadata
- Available format(s)
-
PDF
- Category
- Applications
- Publication info
- Preprint.
- Contact author(s)
- pierrick gaudry @ loria fr
- History
- 2024-12-06: approved
- 2024-12-02: received
- See all versions
- Short URL
- https://ia.cr/2024/1951
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2024/1951,
author = {Véronique Cortier and Alexandre Debant and Pierrick Gaudry and Léo Louistisserand},
title = {Vote&Check: Secure Postal Voting with Reduced Trust Assumptions},
howpublished = {Cryptology {ePrint} Archive, Paper 2024/1951},
year = {2024},
url = {https://eprint.iacr.org/2024/1951}
}
