A universally verifiable, software independent, bare-handed voting protocol

08/26/2019
by   Prashant Agrawal, et al.
0

We present a scalable and universally verifiable voting protocol and establish its completeness, soundness and secrecy properties. The protocol supports complete voter-verified accountability. Its correctness is independent of the hardware and software implementation and can be established solely from the output at various stages. The protocol is scalable and efficient.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/26/2019

A universally verifiable voting protocol with complete cast-as-intended and counted-as-cast guarantees

We present a universally verifiable voting protocol and establish its co...
research
05/14/2019

Laocoön: Scalable and Portable Receipt-free E-voting Protocol without Untappable Channels

Vote-buying and voter-coercion are the impending threats when deploying ...
research
05/21/2022

Towards Secure Virtual Elections: Multiparty Computation of Order Based Voting Rules

Electronic voting systems are essential for holding virtual elections, a...
research
07/03/2019

Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol

MimbleWimble is a privacy-oriented cryptocurrency technology encompassin...
research
11/08/2021

Towards Verifiable Remote Voting with Paper Assurance

We propose a protocol for verifiable remote voting with paper assurance....
research
03/15/2019

Secure Voting Protocols with Perfect Ballot Secrecy

Securing voters' privacy and ensuring the integrity of the voting proces...
research
01/16/2018

Relaxed Conditions for Secrecy in a Role-Based Specification

In this paper, we look at the property of secrecy through the growth of ...

Please sign up or login with your details

Forgot password? Click here to reset