C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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