1. Adida, B.: Helios: web-based open-audit voting. In: USENIX (2008)
2. Benaloh, J.: Simple verifiable elections. EVT (2006)
3. Benaloh, J., Naehrig, M.: ElectionGuard. Design Specification Version 2.0.0. Technical report, Microsoft Research (2023). https://github.com/microsoft/electionguard/releases/download/v2.0/EG_Spec_2_0.pdf
4. Bernhard, D., Cortier, V., Gaudry, P., Turuani, M., Warinschi, B.: Verifiability Analysis of CHVote. Cryptology ePrint Archive (2018). https://eprint.iacr.org/2018/1052
5. Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: Computer Security Foundations Workshop (CSFW) (2001)