Verifiable Electronic Voting

Electronic voting systems that can be verified

Aarhus University 2018-Present
Principal Investigator

Active

Publications

E2Easy: a Simple Lattice-Based in-Person End-to-End Voting Scheme

Eduardo Lopes Cominetti, Diego F. Aranha, Paulo Matias, Roberto Araújo

FC (Workshops 2) 2025

Verifying ElectionGuard - a theoretical and empirical analysis

Markus V. G. Jensen, Hans-Christian Kjeldsen, Andreas S. Nielsen, Niklas B. Olesen, Diego F. Aranha

E-Vote-ID (GI) 2024

Faster coercion-resistant e-voting by encrypted sorting

Diego F. Aranha, Michele Battagliola, Lawrence Roy

E-Vote-ID (GI) 2023

Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions

Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde

CCS 2023

Lattice-Based Proof of Shuffle and Applications to Electronic Voting

Diego F. Aranha, Carsten Baum, Kristian Gjøsteen, Tjerand Silde, Thor Tunge

CT-RSA 2021

Talks

Can blockchains make voting more secure?

Apr 10, 2019 AU Digital Innovation Festival

Diego F. Aranha