An electronic voting protocol provides cast-as-intended verifiability if the voter can verify that her encrypted vote contains the voting options that she selected. There are some proposals of protocols with cast-as-intended verifiability in the literature, but all of them have drawbacks either in terms of usability or in terms of security. In this paper, we propose a new voting scheme with cas...

We present a symbolic definition that captures some cases of election verifiability for electronic voting protocols. Our definition is given in terms of reachability assertions in the applied pi calculus and is amenable to automated reasoning using the software tool ProVerif. The definition distinguishes three aspects of verifiability, which we call individual, universal, and eligibility verifi...

Currently, rather secure cryptographic voting protocols providing verifiability exist. However, without adequate usability and abstraction concepts to explain the voting process and, in particular, the verifiability steps, they are not ready for legally binding elections. This holds in particular for remote electronic voting systems because of the absence of poll workers who can support voters ...

We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of boolean tests which can be performed on the data produced by an election. The definition distinguishes three aspects of verifiability: individual, universal and eligibility verifiability. It also allows us to determine ...

Belenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon either the registrar or server honest. It was formally proved secure, making assumption further ballots are cast on bulletin board after voters verified their ballots. In practice, however, revoting allowed can verify anytime. This gap ...

Autonomous systems have the promise to address many of our societal challenges in a variety areas. To realize this potential, these need be trustworthy. We describe research carried out by U.K. consortium central issue establishing trustworthiness: verifiability.

1 When fair value cannot be measured by reference to matters that are directly observable, and if the measure represents little more than the measurer's state of mind, neither the measurement nor the measurement method are verifiable. In those circumstances, the independent auditor has a scope limitation and should not express an unqualified opinion on the financial statements that are material...