Login / Signup
Voter Verification of BMD Ballots Is a Two-Part Question: Can They? Mostly, They Can. Do They? Mostly, They Don't.
Philip T. Kortum
Michael D. Byrne
Julie Whitmore
Published in:
CoRR (2020)
Keyphrases
</>
model checking
formal verification
signature verification
three dimensional
asynchronous circuits
voting scheme
distributed systems
concurrent systems
formal methods
face verification
database
np hard
special case
data structure
multiscale
face recognition
clustering algorithm