Login / Signup
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