Commital Deniable Proofs and Electronic Campaign Finance.

Matthew K. Franklin Tomas Sander

Published in: ASIACRYPT (2000)

Keyphrases

authentication protocol
theorem proving
computational intelligence
theorem prover
security analysis
real time
low cost
cost effective
information systems
lightweight
public key