Hover: Trustworthy Elections with Hash-Only Verification.

Aleksander Essex Urs Hengartner

Published in: IEEE Secur. Priv. (2012)

Keyphrases

model checking
asynchronous circuits
concurrent systems
hash functions
data structure
face verification
formal methods
formal verification
hash table
artificial intelligence
social networks
query processing
formal analysis
hashing algorithm