Auction-Protocol-using-Garbled-Circuits A secure two server sealed bid auction protocol that uses verifiable proxy oblivious transfer and garbled circuits