Efficient proof of bid validity with untrusted verifier in homomorphic e-auction.

Published in: IET Inf. Secur. (2013)

Keyphrases

privacy preserving
computationally efficient
cost effective
auction protocol
computationally expensive
theorem prover
theorem proving
linear logic