Table of Contents

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.