Threat Analysis of a Practical Voting Scheme with Receipts.
S. Foulle, S. Schneider, J. Traore, and Z. Xia.