Christopher Thorpe: Efficient, Secrecy-Preserving Proofs of Correctness for Electronic Commerce

Preview:

Citation preview