The growth of eGovernment applications has initiated profound re-engineering of numerous
citizen-government interactions but has not yet provided significant impacts on internet …

We propose a cryptographic technique for an authenticated, end-to-end verifiable and secret
ballot election. Currently, almost all verifiable e-voting systems require trusted authorities to …

The end-to-end (E2E) verification enables a voter to check if his ballot is recorded as he
intended and the public to check if the system has correctly counted all of the recorded …

Electronic voting systems aim at two conflicting properties, namely privacy and verifiability,
while trying to minimise the trust assumptions on the various voting components. Most …

Internet voting can afford more inclusive and inexpensive elections. The flip side is that the
integrity of the election can be compromised by adversarial attacks and malfunctioning …

In state-of-the-art e-voting systems, a bulletin board (BB) is a critical component for
preserving election integrity and availability. We introduce a framework for the formal …

This paper takes a critical look at the recent trend of building electronic voting systems on
top of block chain technology. Even though being very appealing from the election integrity …

Up to 20% of residential votes and up to 70% of absentee votes in Switzerland are cast
online. The Swiss system aims to provide individual verifiability by different verification …

We propose a framework for the analysis of electronic voting schemes in the presence of
malicious bulletin boards. We identify a spectrum of notions where the adversary is allowed …

In order to achieve anonymous voting, various cryptographic techniques are usually
leveraged to avoid privacy leakage. However, traditional e-voting systems are excessively …