@inproceedings{b69c7a8f506043078f15cd2e19715904,
title = "Formalising receipt-freeness",
abstract = "Receipt-freeness is the property of voting protocols that a voter cannot create a receipt which proves how she voted. Since Benaloh and Tuinstra introduced this property, there has been a large amount of work devoted to the construction of receipt-free voting protocols. This paper provides a generic and uniform formalism that captures the notion of a receipt. The formalism is then applied to analyse the receipt-freeness of a number of voting protocols.",
author = "H.L. Jonker and {Vink, de}, E.P.",
year = "2006",
doi = "10.1007/11836810_34",
language = "English",
isbn = "3-540-38341-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "476--488",
editor = "S.K. Katsikas and J. Lopez and M. Backes and S. Gritzalis and B. Preneel",
booktitle = "Information Security (Proceedings 9th International Conference, ISC 2006, Samos, Greece, August 30-September 2, 2006)",
address = "Germany",
}