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

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 cont...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Krimmer, Robert (Επιμελητής έκδοσης), Volkamer, Melanie (Επιμελητής έκδοσης), Braun Binder, Nadja (Επιμελητής έκδοσης), Kersting, Norbert (Επιμελητής έκδοσης), Pereira, Olivier (Επιμελητής έκδοσης), Schürmann, Carsten (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:Lecture Notes in Computer Science, 10615
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.  .