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

scholarly journals Election Security and Economics: It’s All About Eve

2017 ◽  
pp. 1-20
Author(s):  
David Basin ◽  
Hans Gersbach ◽  
Akaki Mamageishvili ◽  
Lara Schmid ◽  
Oriol Tejada

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

2017 ◽  
pp. 66-83
Author(s):  
Lyria Bennett Moses ◽  
Rajeev Goré ◽  
Ron Levy ◽  
Dirk Pattinson ◽  
Mukesh Tiwari
Keyword(s):  
Automated Synthesis ◽  
Vote Counting

Verifiability Experiences in Government Online Voting Systems

2017 ◽  
pp. 248-263 ◽  
Author(s):  
Jordi Puiggalí ◽  
Jordi Cucurull ◽  
Sandra Guasch ◽  
Robert Krimmer
Keyword(s):  
Voting Systems ◽  
Online Voting

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

2017 ◽  
pp. 110-126 ◽  
Author(s):  
Alessandro Bruni ◽  
Eva Drewsen ◽  
Carsten Schürmann

A Formally Verified Single Transferable Voting Scheme with Fractional Values

2017 ◽  
pp. 163-182 ◽  
Author(s):  
Milad K. Ghale ◽  
Rajeev Goré ◽  
Dirk Pattinson
Keyword(s):  
Voting Scheme
Load More ...
Sign in / Sign up

Export Citation Format

Share Document