Helios: Web-based open-audit voting, pp.335-348, 2008. ,
How not to prove yourself: Pitfalls of the Fiat-Shamir heuristic and applications to Helios, ASIACRYPT 2012, vol.7658, pp.626-643, 2012. ,
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
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
How to prove yourself: Practical solutions to identification and signature problems, CRYPTO'86, vol.263, pp.186-194, 1987. ,
Some ZK security proofs for Belenios, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01576379
, Trapdoor commitments in the SwissPost evoting shuffle proof