Automated Anonymity Verification of the ThreeBallot Voting System.

Conference presentation

Open access

Peer reviewed

Automated Anonymity Verification of the ThreeBallot Voting System.

M Moran, J Heather and S Schneider

IFM, Vol.7940, pp.94-108

2013

DOI: https://doi.org/10.1007/978-3-642-38613-8_7

Abstract

Files and links (3)

pdf

Automated Anonymity Verification of the ThreeBallot Voting System375.05 kBDownload View

Text Open Access

url

http://dx.doi.org./10.1007/978-3-642-38613-8_7View

Published (Version of record)

url

http://dx.doi.org/10.1007/978-3-642-38613-8View

Metrics

232 File views/ downloads

18 Record Views

Details

Title: Automated Anonymity Verification of the ThreeBallot Voting System.
Creators: M Moran
J Heather
S Schneider
Contributors: EB Johnsen
L Petre
Springer (null)
Publication Details: IFM, Vol.7940, pp.94-108
Date published: 2013
Date submitted: 08/11/2013
Identifiers: 99511583302346
Academic Unit: Department of Computer Science
Resource Type: Conference presentation