B. Adida, Helios: Web-based open-audit voting, pp.335-348, 2008.

D. Bernhard, O. Pereira, and B. Warinschi, How not to prove yourself: Pitfalls of the Fiat-Shamir heuristic and applications to Helios, ASIACRYPT 2012, vol.7658, pp.626-643, 2012.

V. Cortier, C. C. Dragan, F. Dupressoir, B. Schmidt, P. Y. Strub et al., Machine-checked proofs of privacy for electronic voting protocols, IEEE Symposium on Security and Privacy, pp.993-1008, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01624270

V. Cortier, P. Gaudry, and S. Glondu, Belenios: A simple private and verifiable electronic voting system. Foundations of Security, Protocols, and Equational Reasoning: Essays Dedicated to Catherine A, LNCS, vol.11565, pp.214-238, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02066930

A. Fiat and A. Shamir, How to prove yourself: Practical solutions to identification and signature problems, CRYPTO'86, vol.263, pp.186-194, 1987.

P. Gaudry, Some ZK security proofs for Belenios, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01576379

S. J. Lewis, O. Pereira, and V. Teague, Trapdoor commitments in the SwissPost evoting shuffle proof