An elementary completeness proof for secure two-party computation primitives.

Ye Wang Prakash Ishwar Shantanu Rane

Published in: ITW (2014)

Keyphrases

efficient computation
database
key agreement protocol
real time
knowledge base
low level
electronic commerce
theorem prover
theorem proving