Login / Signup
David Chaum's Voter Verification using Encrypted Paper Receipts.
Poorvi L. Vora
Published in:
IACR Cryptol. ePrint Arch. (2005)
Keyphrases
</>
model checking
learning curve
database
data mining
formal verification
verification method
real world
artificial intelligence
signature verification
john mccarthy
real time
information retrieval
relational databases
formal analysis
asynchronous circuits
encryption decryption