1. Swiss post voting specification - version 1.1.1 (2022). https://gitlab.com/swisspost-evoting/e-voting/e-voting-documentation/-/tree/master/System
2. Adida, B.: Helios: web-based Open-Audit Voting. In: USENIX (2008)
3. Baloglu, S., Bursuc, S., Mauw, S., Pang, J.: Election verifiability revisited: automated security proofs and attacks on Helios and Belenios. In: CSF 2021 (2021)
4. Benaloh, J.: Simple verifiable elections. In: EVT 2006. Usenix (2006)
5. Blanchet, B.: An efficient cryptographic protocol verifier based on Prolog rules. In: CSFW 2001, pp. 82–96. IEEE (2001)