A Sender Verifiable Mix-Net and a New Proof of a Shuffle.

Douglas Wikström

Published in: IACR Cryptol. ePrint Arch. (2005)

Keyphrases

web pages
email
sufficient conditions
theorem prover
three dimensional
theorem proving
secret sharing
neural network
linear logic
data sets
decision making
information technology
uniform distribution
logical rules
proof planning
geometry theorem proving