The Computer Ate My Vote

DOI10.1007/978-1-84882-736-3_5zbMath1200.68102OpenAlexW1864331615MaRDI QIDQ3557671

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

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

Related Items (2)

An efficient multi-receipt mechanism for uncoercible anonymous electronic voting ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol

This page was built for publication: The Computer Ate My Vote