key: 2019-surveying-receipt-freeness
type: inproceedings
title: A critique of game-based definitions of receipt-freeness for voting
authors:
  - Ashley Fraser
  - Elizabeth A. Quaglia
  - Ben Smyth
year: 2019
booktitle: "ProvSec'19: 13th International Conference on Provable and Practical Security"
series: LNCS
volume: "11821"
pages: 189--205
publisher: Springer
doi: 10.1007/978-3-030-31919-9_11
description: >-
  This manuscript explores definitions of receipt-freeness in the computational model; discovering
  all but one are too weak and the other's scope is rather narrow.
keywords: >-
  receipt-freeness, elections, election scheme, electronic voting, e-voting, privacy, provable
  security, secrecy, voting
abstract: >-
  We analyse three game-based definitions of receipt-freeness from the literature; uncovering
  soundness issues with two of the definitions and completeness issues with all three. Hence, two of
  the definitions are too weak, i.e., satisfiable by voting schemes that are not intuitively
  receipt-free. More precisely, those schemes need not even satisfy ballot secrecy. Consequently,
  the definitions are satisfiable by schemes that reveal exactly how voters' vote. Moreover, we find
  that each definition is limited in scope. Beyond soundness and completeness issues, we show that
  each definition captures a different attacker model and we examine some of those differences.
links:
  - url: https://eprint.iacr.org/2019/853
    text: Cryptology ePrint Archive version