Automated Anonymity Verification of the ThreeBallot Voting System.

Moran, M, Heather, J and Schneider, S (2013) Automated Anonymity Verification of the ThreeBallot Voting System.

Preview

Text Automated Anonymity Verification of the ThreeBallot Voting System.pdf - ["content_typename_Accepted version (post-print)" not defined] Download (384kB) | Preview

Item Type:	Conference or Workshop Item (Conference Paper)
Divisions :	Faculty of Engineering and Physical Sciences > Computer Science
Authors :	Moran, M, Heather, J and Schneider, S
Date :	2013
DOI :	10.1007/978-3-642-38613-8_7
Contributors :	Contribution Name Email ORCID http://www.loc.gov/loc.terms/relators/EDT Johnsen, EB http://www.loc.gov/loc.terms/relators/EDT Petre, L http://www.loc.gov/loc.terms/relators/PBL Springer,
Related URLs :	Publisher
Additional Information :	The original publication is available at http://dx.doi.org./10.1007/978-3-642-38613-8_7
Depositing User :	Symplectic Elements
Date Deposited :	16 Dec 2013 10:59
Last Modified :	06 Jul 2019 05:13
URI:	http://epubs.surrey.ac.uk/id/eprint/804630

Actions (login required)

View Item

Downloads