Ballot secrecy and ballot independence coincide (bibtex)
by Ben Smyth, David Bernhard
Abstract:
We study ballot independence for election schemes. First, we formally define ballot independence as a cryptographic game and prove that ballot secrecy implies ballot independence. Secondly, we introduce a notion of controlled malleability and show that it is sufficient for ballot independence. We also show that non-malleable ballots are sufficient, but not necessary, for ballot independence. Thirdly, we prove that ballot independence is sufficient for ballot secrecy under practical assumptions. Our results show that ballot independence is necessary in election schemes satisfying ballot secrecy. Furthermore, our sufficient conditions will enable simpler proofs of ballot secrecy.
Reference:
Ballot secrecy and ballot independence coincide (Ben Smyth, David Bernhard), In ESORICS'13: 18th European Symposium on Research in Computer Security, Springer, volume 8134, 2013.
Bibtex Entry:
@string{lncs="Lecture Notes on Computer Science"}
@inproceedings{2013-ballot-independence-for-election-schemes,
	author = "Ben Smyth and David Bernhard",
	title = "{Ballot secrecy and ballot independence coincide}",
	year = "2013",
	booktitle = "ESORICS'13: 18th European Symposium on Research in Computer Security",
	publisher = "Springer",
	series = "LNCS",
	pages = "463-480",
	volume = "8134",
  url = {http://www.bensmyth.com/publications/2013-ballot-independence-for-election-schemes/},
	abstract = {We study ballot independence for election schemes. First, we formally define ballot independence as a cryptographic game and prove that ballot secrecy implies ballot independence. Secondly, we introduce a notion of controlled malleability and show that it is sufficient for ballot independence. We also show that non-malleable ballots are sufficient, but not necessary, for ballot independence. Thirdly, we prove that ballot independence is sufficient for ballot secrecy under practical assumptions. 
Our results show that ballot independence is necessary in election schemes satisfying ballot secrecy. Furthermore, our sufficient conditions will enable simpler proofs of ballot secrecy.},
  x-language = {EN},
  x-audience = {international},
  x-town = {Egham},
  x-country = {GB},
}
Powered by bibtexbrowser