This survey paper explores the transformative role of Artificial Intelligence (AI) in information
security. Traditional methods, especially rule-based approaches, faced significant …

Electronic voting systems are those which depend on some electronic technology for their
correct functionality. Many of them depend on such technology for the communication of …

We present the first implementation of a decentralised and self-tallying internet voting
protocol with maximum voter privacy using the Blockchain. The Open Vote Network is …

Important decisions about people are increasingly made by algorithms: Votes are counted;
voter rolls are purged; financial aid decisions are made; taxpayers are chosen for audits; air …

Bias-resistant public randomness is a critical component in many (distributed) protocols.
Generating public randomness is hard, however, because active adversaries may behave …

• There are IDEs for KeY, including an Eclipse extension, that make it easy to keep track of
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …

Motivated and inspired by the emergence of blockchains, many new protocols have recently
been proposed for generating publicly verifiable randomness in a distributed yet secure …

Estonia was the first country in the world to use Internet voting nationally, and today more
than 30% of its ballots are cast online. In this paper, we analyze the security of the Estonian I …

Voters are understandably concerned about election security. News reports of possible
election interference by foreign powers, of unauthorized voting, of voter disenfranchisement …

Electronic voting or e-voting has been used in varying forms since 1970s with fundamental
benefits over paper-based systems such as increased efficiency and reduced errors …