Origami Voting: A Non-cryptographic Approach to Transparent Ballot Verification.

Enka Blanchard Ted Selker

Published in: Financial Cryptography Workshops (2020)

Keyphrases

cryptographic protocols
model checking
homomorphic encryption
smart card
formal verification
face verification
high assurance
signature verification
privacy preserving
hash functions
key management
data sets
secure communication
voting schemes
security protocols
majority voting
case study