Proof-carrying cloud computation: The case of convex optimization.

Zhen Xu, Cong Wang, Qian Wang, Kui Ren, Lingyu Wang

Browse the full INFOCOM paper archive.