Machine-checking the universal verifiability of ElectionGuard.

Thomas Haines Rajeev Goré Jack Stodart

Published in: IACR Cryptol. ePrint Arch. (2020)

Keyphrases

turing machine
batch processing
database
decision making
multi agent
data structure
multi agent systems