E-Voting and Identity: 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings (Lecture Notes in Computer Science Book 9269)

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on E-Voting and Identity, VoteID 2015, held in Bern, Switzerland, in September 2015. The 10 revised full papers presented, including one keynote and three invited talks, were carefully selected from 26 submissions. The papers deal with real-world electronic systems; advanced voting protocols; document analysis, machine-checked reasoning, e-voting system in court. Front Matter....Pages I-IX Front Matter....Pages 1-1 2015 Neuchâtel’s Cast-as-Intended Verification Mechanism....Pages 3-18 Log Analysis of Estonian Internet Voting 2013–2014....Pages 19-34 The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election....Pages 35-53 Front Matter....Pages 55-55 Extending Helios Towards Private Eligibility Verifiability....Pages 57-73 Verifiable Internet Elections with Everlasting Privacy and Minimal Trust....Pages 74-91 Vote Validatability in Mix-Net-Based eVoting....Pages 92-109 Making Code Voting Secure Against Insider Threats Using Unconditionally Secure MIX Schemes and Human PSMT Protocols....Pages 110-126 Front Matter....Pages 127-127 Document Analysis Techniques for Automatic Electoral Document Processing: A Survey....Pages 129-141 Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic....Pages 142-158 Front Matter....Pages 159-159 Challenging an E-voting System in Court....Pages 161-171 Back Matter....Pages 173-173