E-Voting and Identify

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

Editors:

ISBN: 978-3-642-39184-2 (Print) 978-3-642-39185-9 (Online)

Table of contents (12 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-24

    Scaling Privacy Guarantees in Code-Verification Elections

  3. No Access

    Book Chapter

    Pages 25-40

    On the Specification and Verification of Voting Schemes

  4. No Access

    Book Chapter

    Pages 41-60

    Formal Model-Based Validation for Tally Systems

  5. No Access

    Book Chapter

    Pages 61-75

    Vote Casting in Any Preferred Constituency: A New Voting Channel

  6. No Access

    Book Chapter

    Pages 76-92

    Attacking the Verification Code Mechanism in the Norwegian Internet Voting System

  7. No Access

    Book Chapter

    Pages 93-108

    A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board

  8. No Access

    Book Chapter

    Pages 109-126

    Analysis of an Electronic Boardroom Voting System

  9. No Access

    Book Chapter

    Pages 127-141

    Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity

  10. No Access

    Book Chapter

    Pages 142-155

    Mental Models of Verifiability in Voting

  11. No Access

    Book Chapter

    Pages 156-175

    Prêt à Voter Providing Everlasting Privacy

  12. No Access

    Book Chapter

    Pages 176-192

    Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs

  13. No Access

    Book Chapter

    Pages 193-209

    A Practical Coercion Resistant Voting Scheme Revisited

  14. Back Matter

    Pages -