Electronic Voting: Second International Joint Conference, E-Vote-Id 2017, Bregenz, Austria, October 24-27, 2017, Proceedings

ISBN-13: 9783319686868 / Angielski / Miękka / 2017 / 319 str.

Robert Krimmer; Melanie Volkamer; Nadja Braun Binder

Opis

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. The papers deal with security, usability and technical issues;

Spis treści

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.