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

E-Voting and Identify

Overview of attention for book
Cover of 'E-Voting and Identify'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Scaling Privacy Guarantees in Code-Verification Elections
  3. Altmetric Badge
    Chapter 2 On the Specification and Verification of Voting Schemes
  4. Altmetric Badge
    Chapter 3 Formal Model-Based Validation for Tally Systems
  5. Altmetric Badge
    Chapter 4 Vote Casting in Any Preferred Constituency: A New Voting Channel
  6. Altmetric Badge
    Chapter 5 Attacking the Verification Code Mechanism in the Norwegian Internet Voting System
  7. Altmetric Badge
    Chapter 6 A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board
  8. Altmetric Badge
    Chapter 7 Analysis of an Electronic Boardroom Voting System
  9. Altmetric Badge
    Chapter 8 Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity
  10. Altmetric Badge
    Chapter 9 Mental Models of Verifiability in Voting
  11. Altmetric Badge
    Chapter 10 Prêt à Voter Providing Everlasting Privacy
  12. Altmetric Badge
    Chapter 11 Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs
  13. Altmetric Badge
    Chapter 12 A Practical Coercion Resistant Voting Scheme Revisited
Attention for Chapter 3: Formal Model-Based Validation for Tally Systems
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
6 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
Formal Model-Based Validation for Tally Systems
Chapter number 3
Book title
E-Voting and Identify
Published by
Springer, Berlin, Heidelberg, July 2013
DOI 10.1007/978-3-642-39185-9_3
Book ISBNs
978-3-64-239184-2, 978-3-64-239185-9
Authors

Dermot Cochran, Joseph R. Kiniry, Cochran, Dermot, Kiniry, Joseph R.

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 67%
Student > Doctoral Student 1 17%
Student > Master 1 17%
Readers by discipline Count As %
Computer Science 5 83%
Engineering 1 17%

This page is provided by Altmetric.