E-Voting and Identify  4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings /  [electronic resource] : 
edited by James Heather, Steve Schneider, Vanessa Teague. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (X, 211 p. 29 ill.) 
 - Lecture Notes in Computer Science,  7985  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642391859 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Special purpose computers.<br/>Computer security.<br/>Data encryption (Computer science).<br/>Application software.<br/>Computers and civilization.