↓ Skip to main content

Electronic Voting

Overview of attention for book
Cover of 'Electronic Voting'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Election Security and Economics: It’s All About Eve
  3. Altmetric Badge
    Chapter 2 Cryptographic Security Analysis of E-voting Systems: Achievements, Misconceptions, and Limitations
  4. Altmetric Badge
    Chapter 3 Voting in E-Participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees
  5. Altmetric Badge
    Chapter 4 The Weakness of Cumulative Voting
  6. Altmetric Badge
    Chapter 5 No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes
  7. Altmetric Badge
    Chapter 6 Public Evidence from Secret Ballots
  8. Altmetric Badge
    Chapter 7 Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy
  9. Altmetric Badge
    Chapter 8 Trust Implications of DDoS Protection in Online Elections
  10. Altmetric Badge
    Chapter 9 Updated European Standards for E-voting
  11. Altmetric Badge
    Chapter 10 A Formally Verified Single Transferable Voting Scheme with Fractional Values
  12. Altmetric Badge
    Chapter 11 Reverse Bayesian Poisoning: How to Use Spam Filters to Manipulate Online Elections
  13. Altmetric Badge
    Chapter 12 Return Code Schemes for Electronic Voting Systems
  14. Altmetric Badge
    Chapter 13 Eos a Universal Verifiable and Coercion Resistant Voting Protocol
  15. Altmetric Badge
    Chapter 14 Clash Attacks and the STAR-Vote System
  16. Altmetric Badge
    Chapter 15 Verifiability Experiences in Government Online Voting Systems
  17. Altmetric Badge
    Chapter 16 Cast-as-Intended Mechanism with Return Codes Based on PETs
  18. Altmetric Badge
    Chapter 17 How Could Snowden Attack an Election?
  19. Altmetric Badge
    Chapter 18 Bits or Paper: Which Should Get to Carry Your Vote?
  20. Altmetric Badge
    Chapter 19 Estonian Voting Verification Mechanism Revisited Again
Attention for Chapter 7: Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
5 Mendeley
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 a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy
Chapter number 7
Book title
Electronic Voting
Published by
Springer, Cham, October 2017
DOI 10.1007/978-3-319-68687-5_7
Book ISBNs
978-3-31-968686-8, 978-3-31-968687-5
Authors

Alessandro Bruni, Eva Drewsen, Carsten Schürmann

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Unspecified 1 20%
Lecturer 1 20%
Lecturer > Senior Lecturer 1 20%
Student > Master 1 20%
Unknown 1 20%
Readers by discipline Count As %
Computer Science 2 40%
Unspecified 1 20%
Engineering 1 20%
Unknown 1 20%