Login / Signup
Eperio: Mitigating Technical Complexity in Cryptographic Election Verification.
Aleksander Essex
Carlisle Adams
Published in:
EVT/WOTE (2010)
Keyphrases
</>
data sets
data mining
computational complexity
special case
wide variety
worst case
model checking
smart card
cryptographic protocols
database
real time
neural network
search engine
information systems
computational cost
formal verification