Skip to main content
  • Conference proceedings
  • © 2013

E-Voting and Identity

4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

  • State of the art report
  • Unique visibility
  • Fast conference proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7985)

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): Vote-ID: International Conference on E-Voting and Identity

Conference proceedings info: Vote-ID 2013.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (12 papers)

  1. Front Matter

  2. Scaling Privacy Guarantees in Code-Verification Elections

    • Aggelos Kiayias, Anthi Orfanou
    Pages 1-24
  3. On the Specification and Verification of Voting Schemes

    • Bernhard Beckert, Rajeev Goré, Carsten Schürmann
    Pages 25-40
  4. Formal Model-Based Validation for Tally Systems

    • Dermot Cochran, Joseph R. Kiniry
    Pages 41-60
  5. Vote Casting in Any Preferred Constituency: A New Voting Channel

    • Jurlind Budurushi, Maria Henning, Melanie Volkamer
    Pages 61-75
  6. Attacking the Verification Code Mechanism in the Norwegian Internet Voting System

    • Reto E. Koenig, Philipp Locher, Rolf Haenni
    Pages 76-92
  7. Analysis of an Electronic Boardroom Voting System

    • Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling
    Pages 109-126
  8. Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity

    • Tyler Kaczmarek, John Wittrock, Richard Carback, Alex Florescu, Jan Rubio, Noel Runyan et al.
    Pages 127-141
  9. Mental Models of Verifiability in Voting

    • Maina M. Olembo, Steffen Bartsch, Melanie Volkamer
    Pages 142-155
  10. Prêt à Voter Providing Everlasting Privacy

    • Denise Demirel, Maria Henning, Jeroen van de Graaf, Peter Y. A. Ryan, Johannes Buchmann
    Pages 156-175
  11. Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs

    • David Bernhard, Stephan Neumann, Melanie Volkamer
    Pages 176-192
  12. A Practical Coercion Resistant Voting Scheme Revisited

    • Roberto Araújo, Jacques Traoré
    Pages 193-209
  13. Back Matter

Other Volumes

  1. E-Voting and Identify

About this book

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 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 of works on end-to-end verifiable election systems, verifiably correct complex tallying algorithms, human perceptions of verifiability, formal models of verifiability and, of course, attacks on systems formerly advertised as verifiable.

Editors and Affiliations

  • University of Surrey, Guildford, UK

    James Heather, Steve Schneider

  • Dept. Computer Science and Software, The University of Melbourne, Parkville, Australia

    Vanessa Teague

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access