Provably Correct, Secrecy Preserving Computationand its Applications in Auctions and Securities Exchanges