Proof-carrying cloud computation: The case of convex optimization | IEEE Conference Publication | IEEE Xplore