Proof-Carrying Cloud Computation: The Case of Convex Optimization

Zhen Xu, Cong Wang, Kui Ren, Lingyu Wang, Bingsheng Zhang. Proof-Carrying Cloud Computation: The Case of Convex Optimization. IEEE Transactions on Information Forensics and Security, 9(11):1790-1803, 2014. [doi]

Abstract

Abstract is missing.