Login / Signup
Designing Voting Machines for Verification.
Naveen Sastry
Published in:
USENIX Security Symposium (2006)
Keyphrases
</>
model checking
formal methods
verification method
face verification
machine learning
data structure
flowshop
concurrent systems
search algorithm
user interface
learning machines
asynchronous circuits
voting method
voting schemes