Sign in
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