↓ Skip to main content
What is this page? Embed badge

Electronic Voting

Overview of attention for book
Cover of 'Electronic Voting'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Shifting the Balance-of-Power in STV Elections
  3. Altmetric Badge
    Chapter 2 Random Errors Are Not Necessarily Politically Neutral
  4. Altmetric Badge
    Chapter 3 Tripped at the Finishing Line: The Åland Islands Internet Voting Project
  5. Altmetric Badge
    Chapter 4 Revisiting Practical and Usable Coercion-Resistant Remote E-Voting
  6. Altmetric Badge
    Chapter 5 Privacy-Preserving Dispute Resolution in the Improved Bingo Voting
  7. Altmetric Badge
    Chapter 6 Bayesian Audits Are Average But Risk-Limiting Audits are Above Average
  8. Altmetric Badge
    Chapter 7 CHVote: Sixteen Best Practices and Lessons Learned
  9. Altmetric Badge
    Chapter 8 A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods
  10. Altmetric Badge
    Chapter 9 Towards Model Checking of Voting Protocols in Uppaal
  11. Altmetric Badge
    Chapter 10 E-Voting System Evaluation Based on the Council of Europe Recommendations: n Votes
  12. Altmetric Badge
    Chapter 11 My Vote, My (Personal) Data: Remote Electronic Voting and the General Data Protection Regulation
  13. Altmetric Badge
    Chapter 12 The Oxymoron of the Internet Voting in Illiberal and Hybrid Political Contexts
  14. Altmetric Badge
    Chapter 13 Effective Cybersecurity Awareness Training for Election Officials
  15. Altmetric Badge
    Chapter 14 Does Vote Verification Work: Usage and Impact of Confidence Building Technology in Internet Voting
Attention for Chapter 9: Towards Model Checking of Voting Protocols in Uppaal
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Towards Model Checking of Voting Protocols in Uppaal
Chapter number 9
Book title
Electronic Voting
Published by
Springer, Cham, October 2020
DOI 10.1007/978-3-030-60347-2_9
Book ISBNs
978-3-03-060346-5, 978-3-03-060347-2
Authors

Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan

View on publisher site

This page is provided by Altmetric.