Electronic Voting

This book constitutes the refereed proceedings of the Second International Joint Conference on Electronic Voting, E-Vote-ID 2017, held in Bregenz, Austria, in October 2017.

The 16 full papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 keynote talks. The papers deal with security, usability and technical issues; administrative, legal, political and social issued; and election and practical experiences.

Inhalt

Election Security and Economics: It's all about Eve.- Cryptographic Security Analysis of E-Voting Systems: Achievements, Misconceptions, and Limitations.- Voting in E-participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees.- The Weakness of Cumulative Voting.- No More Excuses: Automated Synthesis of Practical and Verifiable Vote-counting Programs for Complex Voting Schemes.- Public Evidence from Secret Ballots.- A Mechanized Proof of Selene Receipt Freeness and Privacy.- Trust Implications of DDoS Protection in Online Elections.- Updated European Standards for e-voting.- A Formally Verified Single Transferable Vote Scheme with Fractional Values.- Reverse Bayesian poisoning: How to use spam filters to manipulate online elections.- Return Code Schemes for Electronic Voting Systems.- Eos A Universal Verifiable and Coercion Resistant Voting Protocol.- Clash attacks and the STAR-Vote system.- Verifiability experiences in government online voting systems.- Cast-as-Intended Mechanism with Return Codes Based on PETs.- How Could Snowden Attack an Election.- Bits or Paper: which should get to carry your vote.- Estonian Voting Verification Mechanism Revisited Again.