Skip to main content
SpringerLink
Log in

E-Voting and Identity

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. James Heather

    1. University of Surrey, Guildford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Steve Schneider

    1. University of Surrey, Guildford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Vanessa Teague

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

Included in the following conference series:

Conference proceedings info: Vote-ID 2013.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  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. A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board

    • Katharina Bräunlich, Rüdiger Grimm
    Pages 93-108

  8. Analysis of an Electronic Boardroom Voting System

    • Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling
    Pages 109-126

  9. 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

  10. Mental Models of Verifiability in Voting

    • Maina M. Olembo, Steffen Bartsch, Melanie Volkamer
    Pages 142-155

  11. Prêt à Voter Providing Everlasting Privacy

    • Denise Demirel, Maria Henning, Jeroen van de Graaf, Peter Y. A. Ryan, Johannes Buchmann
    Pages 156-175

  12. Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs

    • David Bernhard, Stephan Neumann, Melanie Volkamer
    Pages 176-192

  13. A Practical Coercion Resistant Voting Scheme Revisited

    • Roberto Araújo, Jacques Traoré
    Pages 193-209

  14. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. E-Voting and Identify

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation