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

Douglas Wikström

Published in: ASIACRYPT (2005)

Keyphrases

email
sufficient conditions
theorem proving
data sets
databases
data structure
theorem prover
linear logic
real world
computer vision
information systems
multimedia
relational databases
database programming
automated theorem proving
proof theory