Electronic Voting - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030004187, 9783030004194
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ballot-Polling Risk Limiting Audits for IRV Elections

2018 ◽  
pp. 17-34 ◽  
Author(s):  
Michelle Blom ◽  
Peter J. Stuckey ◽  
Vanessa J. Teague

scholarly journals Risk-Limiting Audits by Stratified Union-Intersection Tests of Elections (SUITE)

2018 ◽  
pp. 174-188 ◽  
Author(s):  
Kellie Ottoboni ◽  
Philip B. Stark ◽  
Mark Lindeman ◽  
Neal McBurnett

Modular Formalisation and Verification of STV Algorithms

2018 ◽  
pp. 51-66 ◽  
Author(s):  
Milad K. Ghale ◽  
Rajeev Goré ◽  
Dirk Pattinson ◽  
Mukesh Tiwari

Process Models for Universally Verifiable Elections

2018 ◽  
pp. 84-99
Author(s):  
Rolf Haenni ◽  
Eric Dubuis ◽  
Reto E. Koenig ◽  
Philipp Locher
Keyword(s):  
Process Models

Implementing an Audio Side Channel for Paper Voting

2018 ◽  
pp. 132-145 ◽  
Author(s):  
Kristjan Krips ◽  
Jan Willemson ◽  
Sebastian Värv
Keyword(s):  
Side Channel

Model Checking the SELENE E-Voting Protocol in Multi-agent Logics

2018 ◽  
pp. 100-116 ◽  
Author(s):  
Wojciech Jamroga ◽  
Michal Knapik ◽  
Damian Kurpiewski
Keyword(s):  
Model Checking ◽  
Multi Agent
Load More ...
Sign in / Sign up

Export Citation Format

Share Document