Advertisement

© 2013

E-Voting and Identify

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

  • James Heather
  • Steve Schneider
  • Vanessa Teague
Conference proceedings Vote-ID 2013

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

Table of contents

  1. Front Matter
    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
    PDF

About these proceedings

Introduction

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

Keywords

ballot secrecy electronic voting legal issues prêt à voter visual cryptography

Editors and affiliations

  • James Heather
    • 1
  • Steve Schneider
    • 2
  • Vanessa Teague
    • 3
  1. 1.University of SurreyGuildfordUK
  2. 2.University of SurreyGuildfordUK
  3. 3.Dept. Computer Science and SoftwareThe University of MelbourneParkvilleAustralia

Bibliographic information