Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster

@inproceedings{Delaune2010VerifyingPP,
  title={Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster},
  author={St{\'e}phanie Delaune and Steve Kremer and Mark Ryan},
  booktitle={Towards Trustworthy Elections},
  year={2010}
}
Electronic voting promises the possibility of a convenient , efficient and secure facility for recording and tallying votes in an election. Recently hi ghlighted inadequacies of implemented systems have demonstrated the importance of form ally verifying the underlying voting protocols. We study three privacy-type properti es of electronic voting protocols: in increasing order of strength, they are vote-privac y, receipt-freeness, and coercionresistance. We use the applied pi calculus, a… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
28 Citations
44 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 28 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 44 references

Ne dap/Groenendaal ES3B voting computer: a security analysis

  • Rop Gonggrijp, Willem-Jan Hengeveld, +5 authors Barry Wels
  • www.wijvertrouwenstem computersniet.nl/other/es3b…
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…