Electronic Voting - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319686868, 9783319686875

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Election Security and Economics: It’s All About Eve

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_1 ◽

2017 ◽

pp. 1-20

Author(s):

David Basin ◽

Hans Gersbach ◽

Akaki Mamageishvili ◽

Lara Schmid ◽

Oriol Tejada

Download Full-text

No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_5 ◽

2017 ◽

pp. 66-83

Author(s):

Lyria Bennett Moses ◽

Rajeev Goré ◽

Ron Levy ◽

Dirk Pattinson ◽

Mukesh Tiwari

Keyword(s):

Automated Synthesis ◽

Download Full-text

Verifiability Experiences in Government Online Voting Systems

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_15 ◽

2017 ◽

pp. 248-263 ◽

Author(s):

Jordi Puiggalí ◽

Jordi Cucurull ◽

Sandra Guasch ◽

Robert Krimmer

Keyword(s):

Voting Systems ◽

Download Full-text

The Weakness of Cumulative Voting

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_4 ◽

2017 ◽

pp. 57-65

Author(s):

Josh Benaloh

Keyword(s):

Cumulative Voting

Download Full-text

Eos a Universal Verifiable and Coercion Resistant Voting Protocol

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_13 ◽

2017 ◽

pp. 210-227 ◽

Author(s):

Ştefan Patachi ◽

Carsten Schürmann

Download Full-text

Return Code Schemes for Electronic Voting Systems

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_12 ◽

2017 ◽

pp. 198-209 ◽

Author(s):

Shahram Khazaei ◽

Douglas Wikström

Keyword(s):

Electronic Voting ◽

Download Full-text

Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_2 ◽

2017 ◽

pp. 21-41 ◽

Author(s):

Ralf Küsters ◽

Johannes Müller

Keyword(s):

Security Analysis ◽

Voting Systems ◽

Cryptographic Security

Download Full-text

Updated European Standards for E-voting

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_9 ◽

2017 ◽

pp. 146-162 ◽

Author(s):

Ardita Driza Maurer

Keyword(s):

European Standards

Download Full-text

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_7 ◽

2017 ◽

pp. 110-126 ◽

Author(s):

Alessandro Bruni ◽

Eva Drewsen ◽

Carsten Schürmann

Download Full-text

A Formally Verified Single Transferable Voting Scheme with Fractional Values

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_10 ◽

2017 ◽

pp. 163-182 ◽

Author(s):

Milad K. Ghale ◽

Rajeev Goré ◽

Dirk Pattinson

Keyword(s):

Download Full-text