Drupal-Bibcite32<style face="normal" font="default" size="100%">Verifiability and Receipt-Freeness in Cryptographic Voting Systems</style>