Machine-Checking the Universal Verifiability of ElectionGuard.

Thomas Haines Rajeev Goré Jack Stodart

Published in: NordSec (2020)

Keyphrases

data sets
batch processing
information retrieval
multiscale
turing machine
sequence prediction
kolmogorov complexity
neural network
computer vision
data exchange