{"id":"https://openalex.org/W2003325966","doi":"https://doi.org/10.1109/infcom.2013.6566845","title":"Proof-carrying cloud computation: The case of convex optimization","display_name":"Proof-carrying cloud computation: The case of convex optimization","publication_year":2013,"publication_date":"2013-04-01","ids":{"openalex":"https://openalex.org/W2003325966","doi":"https://doi.org/10.1109/infcom.2013.6566845","mag":"2003325966"},"language":"en","primary_location":{"id":"doi:10.1109/infcom.2013.6566845","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infcom.2013.6566845","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Proceedings IEEE INFOCOM","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054307848","display_name":"Zhen Xu","orcid":"https://orcid.org/0000-0002-4167-6352"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhen Xu","raw_affiliation_strings":["State University of New York, Buffalo, Buffalo, NY, USA","State University of New York at Buffalo , Buffalo , NY , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State University of New York, Buffalo, Buffalo, NY, USA","institution_ids":["https://openalex.org/I63190737"]},{"raw_affiliation_string":"State University of New York at Buffalo , Buffalo , NY , USA","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100390514","display_name":"Cong Wang","orcid":"https://orcid.org/0000-0003-0547-315X"},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Cong Wang","raw_affiliation_strings":["City University of Hong Kong, Hong Kong, China","City University of Hong Kong, Hong kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"City University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I168719708"]},{"raw_affiliation_string":"City University of Hong Kong, Hong kong, China","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100391116","display_name":"Qian Wang","orcid":"https://orcid.org/0000-0002-8967-8525"},"institutions":[{"id":"https://openalex.org/I37461747","display_name":"Wuhan University","ror":"https://ror.org/033vjfk17","country_code":"CN","type":"education","lineage":["https://openalex.org/I37461747"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qian Wang","raw_affiliation_strings":["Wuhan University, Wuhan, Hubei, China","Wuhan University, Wuhan China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Wuhan University, Wuhan, Hubei, China","institution_ids":["https://openalex.org/I37461747"]},{"raw_affiliation_string":"Wuhan University, Wuhan China#TAB#","institution_ids":["https://openalex.org/I37461747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000596496","display_name":"Kui Ren","orcid":"https://orcid.org/0000-0003-3441-6277"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kui Ren","raw_affiliation_strings":["State University of New York, Buffalo, Buffalo, NY, USA","State University of New York at Buffalo , Buffalo , NY , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State University of New York, Buffalo, Buffalo, NY, USA","institution_ids":["https://openalex.org/I63190737"]},{"raw_affiliation_string":"State University of New York at Buffalo , Buffalo , NY , USA","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100730397","display_name":"Lingyu Wang","orcid":"https://orcid.org/0000-0002-7441-7541"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Lingyu Wang","raw_affiliation_strings":["Concordia University, Montreal, QUE, Canada","Concordia University, Montreal, QC (Canada)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Concordia University, Montreal, QUE, Canada","institution_ids":["https://openalex.org/I60158472"]},{"raw_affiliation_string":"Concordia University, Montreal, QC (Canada)","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8305,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.86505216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"610","last_page":"614"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.6975595951080322},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6009794473648071},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5642440915107727},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.4879271686077118},{"id":"https://openalex.org/keywords/convex-optimization","display_name":"Convex optimization","score":0.4259454309940338},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3774333596229553},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23195180296897888},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20950695872306824},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.0961032509803772}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.6975595951080322},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6009794473648071},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5642440915107727},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.4879271686077118},{"id":"https://openalex.org/C157972887","wikidata":"https://www.wikidata.org/wiki/Q463359","display_name":"Convex optimization","level":3,"score":0.4259454309940338},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3774333596229553},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23195180296897888},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20950695872306824},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0961032509803772},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/infcom.2013.6566845","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infcom.2013.6566845","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Proceedings IEEE INFOCOM","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1511917306","https://openalex.org/W1975199330","https://openalex.org/W2136624667","https://openalex.org/W2145166073","https://openalex.org/W2145818182","https://openalex.org/W2151167752","https://openalex.org/W2153461402","https://openalex.org/W2540559960","https://openalex.org/W4246219036","https://openalex.org/W4250589301","https://openalex.org/W4291236916","https://openalex.org/W6630504906","https://openalex.org/W6643951788"],"related_works":["https://openalex.org/W4244478748","https://openalex.org/W4223488648","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W2560439919","https://openalex.org/W4389340727","https://openalex.org/W3150465815","https://openalex.org/W1997222214","https://openalex.org/W2802581102","https://openalex.org/W3153752017"],"abstract_inverted_index":{"Cloud":[0],"computing":[1,18],"provides":[2,144],"a":[3],"\u201cpay-per-use\u201d":[4],"utility":[5],"service":[6],"which":[7,41],"offers":[8],"the":[9,11,25,32,37,53,86,112,121,125,129,133,149,157,186],"customer":[10,150,187],"economical":[12],"access":[13],"to":[14,67,97,136],"large":[15],"amount":[16],"of":[17,55,114,124,132],"resources":[19],"with":[20,181],"minimal":[21],"management":[22],"overhead.":[23],"Despite":[24],"tremendous":[26],"benefits,":[27],"computation":[28,39,45],"outsourcing":[29,85],"also":[30],"eliminates":[31],"customer's":[33],"ultimate":[34],"control":[35],"over":[36],"data":[38],"process,":[40],"makes":[42],"securing":[43],"cloud":[44,78,158,172,189],"an":[46],"imperative":[47],"and":[48,95,128,152,165,188,191],"challenging":[49],"task,":[50],"especially":[51],"in":[52,62,77,195],"aspect":[54],"integrity":[56,70,100,139,179],"verification.":[57,140],"To":[58],"address":[59],"these":[60],"challenges,":[61],"this":[63],"paper":[64],"we":[65,82,119],"propose":[66],"research":[68],"on":[69,84,148,156,184],"verification":[71,101],"mechanisms":[72,102,176],"for":[73],"secure":[74],"outsourced":[75],"computations":[76],"computing.":[79],"In":[80],"particular,":[81],"focus":[83],"widely":[87],"applicable":[88,194],"engineering":[89],"optimization":[90,126],"problem,":[91],"i.e.,":[92],"convex":[93],"optimization,":[94],"aim":[96],"investigate":[98],"efficient":[99,138],"using":[103],"application-specific":[104],"techniques.":[105],"Our":[106],"security":[107],"design":[108,143],"does":[109],"not":[110],"require":[111],"use":[113],"heavy":[115],"cryptographic":[116],"tools.":[117],"Instead,":[118],"leverage":[120],"inherent":[122],"structure":[123],"problems":[127],"proof-carrying":[130],"characteristics":[131],"solving":[134],"algorithms":[135],"achieve":[137],"The":[141,167],"proposed":[142],"substantial":[145],"computational":[146],"savings":[147],"side":[151],"introduce":[153],"marginal":[154],"overhead":[155],"side.":[159],"We":[160],"further":[161],"prove":[162],"its":[163],"correctness":[164],"soundness.":[166],"extensive":[168],"experiments":[169],"under":[170],"real":[171],"environment":[173],"show":[174],"our":[175],"ensure":[177],"strong":[178],"assurance":[180],"high":[182],"efficiency":[183],"both":[185],"sides":[190],"are":[192],"readily":[193],"practice.":[196]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}