Proof-carrying cloud computation: The case of convex optimization

Proceedings - IEEE INFOCOM

Volumn , Issue , 2013, Pages 610-614

  Xu, Zhen ^a   Wang, Cong ^b   Wang, Qian ^c   Ren, Kui ^a   Wang, Lingyu ^d  

^a UNIVERSITY AT BUFFALO   (United States)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

^c WUHAN UNIVERSITY   (China)

^d Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

Cloud Computing; Computation Outsourcing; Convex Optimization; Security

Indexed keywords

CLOUD ENVIRONMENTS; COMPUTATIONAL SAVINGS; COMPUTING RESOURCE; ENGINEERING OPTIMIZATION PROBLEMS; INTEGRITY ASSURANCE; INTEGRITY VERIFICATIONS; OPTIMIZATION PROBLEMS; SECURITY;

CLOUD COMPUTING; OUTSOURCING; SALES; STRUCTURAL OPTIMIZATION;

CONVEX OPTIMIZATION;

EID: 84883084283     PISSN: 0743166X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INFCOM.2013.6566845     Document Type: Conference Paper

References (14)

1. Cloud Security Alliance, Security guidance for critical areas of focus in cloud computing, 2009, online at http://www.cloudsecurityalliance.org.
2. Sun Microsystems, Inc., Building customer trust in cloud computing with transparent security, 2009, online at https://www.sun.com/offers/details/sun transparency.xml.
3. M. Blanton, Y. Zhang, and K. Frikken, Secure and verifiable outsourcing of large-scale biometric computations, in Proc. of PASSAT, 2011.
4. W. Du, J. Jia, M. Mangal, and M. Murugesan, Uncheatable grid computing, in Proc. of ICDCS, 2004, pp. 4-11.
5. J. Katz and R. Ostrovsky, Round-optimal secure two-party computation, in Proc. of CRYPTO 2004. Springer-Verlag, 2004, pp. 335-354.
6. Y. Lindell and B. Pinkas, An efficient protocol for secure two-party computation in the presence of malicious adversaries, in Proc. of EUROCRYPT 2007. Springer, 2007, pp. 52-78.
7. C. Wang, K. Ren, J. Wang, and K. M. R. Urs, Harnessing the cloud for securely solving large-scale systems of linear equations, in Proc. of ICDCS, 2011.
8. C. Wang, K. Ren, and J. Wang, Secure and practical outsourcing of linear programming in cloud computing, in Proc. of INFOCOM. IEEE, 2011, pp. 820-828.
9. S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge University Press, 2004.
10. D. Luenberger and Y. Ye, Linear and Nonlinear Programming, 3rd ed. Springer, 2008.
11. M. Bazaraa, J. Goode, and C. Shetty, Constraint qualifications revisited, Management Science, vol. 18, no. 9, pp. 567-573, 1972.
12. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 2nd ed. MIT press, 2008.
13. MOSEK ApS, The MOSEK Optimization Software, Online at http: //www.mosek.com/, 2010.
14. M. Atallah and K. Frikken, Securely outsourcing linear algebra computations, in Proc. of ASIACCS, 2010, pp. 48-59.