{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:30:17Z","timestamp":1742391017621},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/infcom.2013.6566845","type":"proceedings-article","created":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T16:12:57Z","timestamp":1375373577000},"page":"610-614","source":"Crossref","is-referenced-by-count":9,"title":["Proof-carrying cloud computation: The case of convex optimization"],"prefix":"10.1109","author":[{"given":"Zhen","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qian","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kui","family":"Ren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingyu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The MOSEK Optimization Software","year":"2010","key":"13"},{"key":"14","first-page":"48","article-title":"Securely outsourcing linear algebra computations","author":"atallah","year":"2010","journal-title":"Proc of ASIACCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.18.9.567"},{"journal-title":"Introduction to Algorithms","year":"2008","author":"cormen","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/PASSAT\/SocialCom.2011.13"},{"journal-title":"Sun Microsystems Inc","year":"2009","key":"2"},{"journal-title":"Cloud Security Alliance","year":"2009","key":"1"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-74503-9","author":"luenberger","year":"2008","journal-title":"Linear and Nonlinear Programming"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2011.41"},{"key":"6","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-540-72540-4_4","article-title":"An efficient protocol for secure two-party computation in the presence of malicious adversaries","author":"lindell","year":"2007","journal-title":"Proc Eurocrypt 2007"},{"key":"5","first-page":"335","article-title":"Round-optimal secure two-party computation","author":"katz","year":"2004","journal-title":"Proc of CRYPTO 2004 Springer-Verlag"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2004.1281562"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2011.5935305"}],"event":{"name":"IEEE INFOCOM 2013 - IEEE Conference on Computer Communications","start":{"date-parts":[[2013,4,14]]},"location":"Turin, Italy","end":{"date-parts":[[2013,4,19]]}},"container-title":["2013 Proceedings IEEE INFOCOM"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6556116\/6566708\/06566845.pdf?arnumber=6566845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T02:42:03Z","timestamp":1563590523000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6566845\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/infcom.2013.6566845","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}