Existential Assertions for Voting Protocols.

R. Ramanujam Vaishnavi Sundararajan S. P. Suresh

Published in: Financial Cryptography Workshops (2017)

Keyphrases

voting protocols
electronic voting
np hard
query answering
knowledge base
database design