• Corpus ID: 221266539

Proverum: A Hybrid Public Verifiability and Decentralized Identity Management

  title={Proverum: A Hybrid Public Verifiability and Decentralized Identity Management},
  author={Christian Killer and Lucas Thorbecke and Bruno Bastos Rodrigues and Eder John Scheid and Muriel Figueredo Franco and Burkhard Stiller},
Trust in electoral processes is fundamental for democracies. Further, the identity management of citizen data is crucial, because final tallies cannot be guaranteed without the assurance that every final vote was cast by an eligible voter. In order to establish a basis for a hybrid public verifiability of voting, this work (1) introduces Proverum, an approach combining a private environment based on private permissioned Distributed Ledgers with a public environment based on public Blockchains… 

Figures and Tables from this paper


Design and implementation of cast-as-intended verifiability for a blockchain-based voting system
This work outlines the design and implementation of a blockchain-based electronic voting system providing cast-as-intended verifiability, and the required cryptographic operations are in linear relation to the number of voters, making the outlined system fit for large-scale elections.
Election Verifiability in Electronic Voting Protocols
A formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus is presented, given in terms of boolean tests which can be performed on the data produced by an election.
Receipt-Free Mix-Type Voting Scheme - A Practical Solution to the Implementation of a Voting Booth
This work presents a receipt-free voting scheme based on a mixtype anonymous channel, where the sole physical assumption is the existence of a private channel through which the center can send the voter a message without fear of eavesdropping.
The Swiss Postal Voting Process and Its System and Security Analysis
This work serves as an overview of the Swiss remote postal voting system, a detailed insight into the process flow, and a respective risk assessment.
Smart Contracts – Blockchains in the Wings
In this paper, various different set of functions, applications, and stakeholders are involved in this smart contract arena and are highlighted and put into interrelated technical, economic, and legal perspectives.
Measures to establish trust in internet voting
A number of measures meant to help at gaining trust are introduced, taking the exposition of a system's security features and the remaining risks as the foundation of any strategy.
Privacy and verifiability in voting systems: Methods, developments and trends
SoK: Verifiability Notions for E-Voting Protocols
This paper reviews all formal definitions of verifiability proposed in the literature and cast them in a framework proposed by Kuesters, Truderung, and Vogt (the KTV framework), yielding a uniform treatment of verIFiability.
Administrative and Public Verifiability: Can We Have Both?
verified optical scan is introduced -- a simple design wherein both administrative and public verifiability are possible and the two are tightly linked to achieve consistent results.
End-to-end verifiability
This pamphlet describes end-to-end election verifiability (E2E-V) for a nontechnical audience: election officials, public policymakers, and anyone else interested in secure, transparent, evidence-based electronic elections.