E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Heather, James. (Editor), Schneider, Steve. (Editor), Teague, Vanessa. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7985
• Subjects: Computer science.; Computer Communication Networks.; Software engineering.; Data protection.; Data encryption (Computer science).; Information systems.; Computer Science.; Data Encryption.; Systems and Data Security.; Special Purpose and Application-Based Systems.; Computer Appl. in Administrative Data Processing.; Computers and Society.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-39185-9

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, VoteID 2013, held in Guildford, UK, during July 17-19, 2013. The 12 revised full papers presented were carefully selected from 26 submissions. The papers include a range...

Table of Contents:

• Scaling Privacy Guarantees in Code-Verification Elections
• On the Specification and Verification of Voting Schemes
• Formal Model-based Validation for Tally Systems
• Vote Casting In Any Preferred Constituency: A New Voting Channel
• Attacking the Verification Code Mechanism in the Norwegian Internet Voting System.-�A Formal Model for the Requirement of Verifiability in Electronic Voting by means of a Bulletin Board
• Analysis of an Electronic Boardroom Voting System
• Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity
• Mental Models of Verifiability in Voting
• Towards a Practical Internet Voting Scheme Based on Malleable Proofs
• A Practical Coercion Resistant Voting Scheme Revisited.