Framework for secure electronic voting:
https://www.chaum.com/scantegrity/thesis/Popoveniuc_Stefan.pdf
End-to-End Verifiability for Optical Scan Election Systems:
https://www.usenix.org/legacy/event/evt08/tech/full_papers/chaum/chaum.pdf
Implementation and Evaluation of a Cryptographically Secure
Voting System:
https://www2.seas.gwu.edu/~poorvi/voting_eval.pdf
Secret-ballot receipts: True voter-verifiable elections:
>A new kind of receipt sets a far higher standard of security by letting voters verify the election outcome - even if all election computers and records were compromised. The system preserves ballot secrecy, while improving access, robustness, and adjudication, all at lower cost.
https://ieeexplore.ieee.org/document/1264852
Overview:
https://en.wikipedia.org/wiki/End-to-end_auditable_voting_systems