Verifying privacy-type properties of electronic voting protocols

S Delaune, S Kremer, M Ryan - Journal of Computer Security, 2009 - content.iospress.com
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

Analysis of an electronic voting protocol in the applied pi calculus

S Kremer, M Ryan - European Symposium on Programming, 2005 - Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for
recording and tallying votes in an election. Recently highlighted inadequacies of …

Impact of Decentralization on Electronic Voting Systems: A Systematic Literature Survey

RL Almeida, F Baiardi, DDF Maesa, L Ricci - IEEE Access, 2023 - ieeexplore.ieee.org
The modernization of voting methods is a dynamic area of research currently. In the past,
innovation in voting methods was limited to the automation of steps in the process through …

Coercion-resistance and receipt-freeness in electronic voting

S Delaune, S Kremer, M Ryan - 19th IEEE Computer Security …, 2006 - ieeexplore.ieee.org
In this paper we formally study important properties of electronic voting protocols. In
particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an …

Two improved partially blind signature schemes from bilinear pairings

SSM Chow, LCK Hui, SM Yiu, KP Chow - … , July 4-6, 2005. Proceedings 10, 2005 - Springer
A blind signature scheme is a protocol for obtaining a digital signature from a signer, but the
signer can neither learn the messages he/she sign nor the signatures the recipients obtain …

Yet another improvement over the Mu–Varadharajan e-voting protocol

F Rodríguez-Henríquez, D Ortiz-Arroyo… - Computer Standards & …, 2007 - Elsevier
In this paper we present a fully functional RSA/DSA-based e-voting protocol for online
elections that corrects and improves a scheme previously proposed by Lin-Hwang-Chang [I …

An anonymous electronic voting protocol for voting over the internet

I Ray, I Ray, N Narasimhamurthi - … Third International Workshop …, 2001 - ieeexplore.ieee.org
We propose a secure electronic voting protocol that is suitable for large scale voting over the
Internet. The protocol allows a voter to cast his or her ballot anonymously, by exchanging …

A secure electronic voting protocol for general elections

HT Liaw - Computers & Security, 2004 - Elsevier
Elections and voting behavior are always in our lives. As the activities increase on Internet,
some elections and voting behavior would be brought on Internet. It is called “Electronic …

[PDF][PDF] Electronic voting schemes

Z Rjašková - Diplomová práca, Bratislava, 2002 - bezadis.ics.upjs.sk
Electronic voting is an application of cryptography. Voting schemes that provide receipt-
freeness prevents voters from proving their cast vote, and hence thwart vote-buying and …

[PDF][PDF] Survey on electronic voting schemes

L Fouard, M Duclos, P Lafourcade - supported by the ANR …, 2007 - luca-giuzzi.unibs.it
We present a survey on electronic voting schemes. We first summarize properties than such
protocols should guarantee. In a second time we describe cryptographic primitives used in …