Selene: Voting with Transparent Verifiability and Coercion-Mitigation
Efficient Identification and Signatures for Smart Cards