Short Ballot Assumption and Threeballot Voting Protocol

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Conference on Current Trends in Theory and Practice of Informatics

• Publication date

  2008-01-19

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-77566-9_51
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An Introduction to PunchScan

  2010cited by this paper
• The Effectiveness of Receipt-Based Attacks on ThreeBallot

  2009cited by this paper
• Three Voting Protocols: ThreeBallot, VAV, and Twin

  2007cited by this paper
• The ThreeBallot Voting System

  2006cited by this paper
• Emerging Trends in Information and Communication Security

  2006cited by this paper
• Kleptographic Attacks on E-Voting Schemes

  2006cited by this paper
• Computer Security - ESORICS 2005, 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings

  2005cited by this paper
• A Practical Voter-Verifiable Election Scheme

  2005cited by this paper

• Origami Voting: A Non-cryptographic Approach to Transparent Ballot Verification

  2020cites this paper
• VAMS: Verifiable Auditing of Access to Confidential Data

  2018cites this paper
• An Overview of End-to-End Verifiable Voting Systems

  2016cites this paper
• Automated anonymity verification of the ThreeBallot and VAV voting systems

  2016cites this paper
• Automated Anonymity Verification of the ThreeBallot Voting System

  2013cites this paper
• Automatic Verification of Remote Internet Voting Protocol in Symbolic Model

  2011cites this paper
• Towards Internet Voting in the State of Qatar

  2011cites this paper
• Scratch, Click & Vote: E2E Voting over the Internet

  2010cites this paper
• Automatic Verification of Acquisti Voting Protocol in Formal Model

  2010cites this paper
• A game-based definition of coercion resistance and its applications

  2010cites this paper
• Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus

  2010cites this paper
• A Critical Review of Receipt-Freeness and Coercion-Resistance

  2009cites this paper
• SCV end to end voting over the Internet

  2009cites this paper
• The Effectiveness of Receipt-Based Attacks on ThreeBallot

  2009cites this paper
• PUBLIKACJE PRACOWNIKÓW INSTYTUTU MATEMATYKI I INFORMATYKI POLITECHNIKI

  2008cites this paper
• A New Method of Isolation of Isoflavones from Glycine max (Soya Beans) by Complexation Technique

  2008cites this paper