Cast-as-Intended: A Formal Definition and Case Studies

Peter B. Rønne, Peter Y. A. Ryan & Ben Smyth (2021) Cast-as-Intended: A Formal Definition and Case Studies. In FC'21: 25th International Conference on Financial Cryptography and Data Security, LNCS 12676, Springer, pp. 251-262.

Download

Abstract

Verifiable voting systems allow voters to check whether their ballot is correctly recorded (individual verifiability) and allow anyone to check whether votes expressed in recorded ballots are correctly counted (universal verifiability). This suffices to ensure that honest voters' votes are correctly counted, assuming ballots are properly generated. Achieving ballot assurance, i.e., assuring each voter that their vote is correctly encoded inside their ballot, whilst ensuring privacy, is a challenging aspect of voting system design. This assurance property is known as cast-as-intended. Unlike many properties of voting systems, it has yet to be formalised. We provide the first formal definition and apply our definition to MarkPledge, Pret a Voter, Selene, ThreeBallot, and schemes based upon Benaloh challenges.

Bibtex Entry

@inproceedings{2021-cast-as-intended,
	author = "Peter B. R\o{}nne and Peter Y. A. Ryan and Ben Smyth",
	title = "Cast-as-Intended: A Formal Definition and Case Studies",
	year = "2021",
	booktitle = "FC'21: 25th International Conference on Financial Cryptography and Data Security",
	publisher = "Springer",
	series = "LNCS",
	volume = "12676",
	pages = "251--262",
	doi = "doi.org/10.1007/978-3-662-63958-0_22",
}