Electronic voting (e-voting) systems have significantly improved the traditional voting
process by addressing key concerns such as security, public acceptability, and …

End-to-end verifiable e-voting schemes enhance the verifiability of individual votes during
the election process. Specifically, methods for cast-as-intended verifiability empower voters …

Numerous approaches for cast-as-intended verifiability have been proposed in the literature
on electronic voting, balancing practical aspects and security guarantees in different ways …

This paper studies several building blocks needed for electronic voting in order to prepare
for the post-quantum era. In particular, we present lattice-based constructions for a generic …

Coercion is a challenging and multi-faceted threat that prevents people from expressing
their will freely. Similarly, vote-buying does to undermine the foundation of free democratic …

Despite being one of the biggest international users of online voting with two decades of
use, Canada has tended to use non-verifiable online voting systems. This has prompted …

Coercion and vote-buying are challenging and multi-faceted threats that prevent people
from expressing their will freely. Even though there are known techniques to resist or …

Eligibility checks are often abstracted away or omitted in voting protocols, leading to
situations where the voting server can easily stuff the ballot box. One reason for this is the …

In this work we consider Belenios-CaI, a protocol offering a cast-as-intended mechanism
and building upon Belenios, a voting system used in about 7000 elections to date. We …

Abstract The Swiss Chancellery has developed highly demanding requirements in terms of
security for electronic voting. A few protocols have been proposed that meet the …