Belenios: A Simple Private and Verifiable Electronic Voting System.

Published in: Foundations of Security, Protocols, and Equational Reasoning (2019)