The computer ate my vote

DOI10.1007/978-1-84882-736-3_5MaRDI QIDQ3557671zbMATH OpenOpenAlexFDO

Authors Peter Y. A. Ryan

Publication date 23 April 2010

Published in Formal Methods: State of the Art and New Directions (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-84882-736-3_5

Mathematics Subject Classification ID

Computer system organization (68M99) Data encryption (aspects in computer science) (68P25)

Recommendations

• Electronic voting
• Electronic voting in a large-scale distributed system
• Electronic Voting: How Logic Can Help
• scientific article; zbMATH DE number 1210206
• On the notion of ‘software independence’ in voting systems

Cited in

(3)

• Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
• An efficient multi-receipt mechanism for uncoercible anonymous electronic voting
• scientific article; zbMATH DE number 1210206 (Why is no real title available?)

This page was built for publication: The computer ate my vote

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3557671)