Surveying definitions of coercion resistance

Thomas Haines & Ben Smyth (2020) Surveying definitions of coercion resistance. Cryptology ePrint Archive Technical Report 2019/822.



We explore formal definitions of coercion resistance (WPES'05, FC'09, CRYPTO'10, and CSF'10), conceived to capture the strongest privacy notions achievable by voting systems. We find all but one is unsuitable, demonstrating difficulties faced by our community in formalising this property and raising questions over the security of schemes striving to deliver coercion resistance. We find the remaining definition to be reliant on burdensome combinatorial analysis, prohibiting immediate application. We propose a variant that simplifies application. We also patch an unsuitable definition and introduce sufficient conditions to simplify proofs.

Bibtex Entry

	author = "Thomas Haines and Ben Smyth",
	title = "{Surveying definitions of coercion resistance}",
	year = "2020",
	number = "2019/822",
	institution = "Cryptology ePrint Archive",