We already use our mobile phones for checking our email, managing our bank accounts, and ordering products online. Why not also use it to vote in national elections? Electronic voting has come a long way since its inception, i.e., to overcome technical obstacles, but is far from being adopted in the mainstream. Reasons for this include persisting concerns about security, trustworthiness, and election fraud, as well as social and political bias.

End-to-End Verifiable Internet Voting (E2E-VIV) is a flavor of electronic voting where voters can individually verify that (a) their votes have been correctly recorded, (b) their votes have been included in the final tally, and (c) the announced total count of the votes of the election is correct. Instead of relying on human auditing and trust, digital voting systems rely on specialized modern cryptography to achieve all of this. E2E-VIV is now technically feasible for large-scale elections.

In this talk, I like to report on work done by Free & Fair (U.S.) that I have been involved in since 2024, funded by Tusk Philanthropies. Such was to rigorously design, implement and verify a secure cryptographic protocol for End-to-End Verifiable Internet Voting, called VoteSecure. I will give an overview of the rigorous engineering methodology that was adoopted and discuss some of the underlying mathematical techniques and testing and verification strategy.