{"id":"https://openalex.org/W4401508726","doi":"https://doi.org/10.1109/infocom52122.2024.10621128","title":"VeriEdge: Verifying and Enforcing Service Level Agreements for Pervasive Edge Computing","display_name":"VeriEdge: Verifying and Enforcing Service Level Agreements for Pervasive Edge Computing","publication_year":2024,"publication_date":"2024-05-20","ids":{"openalex":"https://openalex.org/W4401508726","doi":"https://doi.org/10.1109/infocom52122.2024.10621128"},"language":"en","primary_location":{"id":"doi:10.1109/infocom52122.2024.10621128","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom52122.2024.10621128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2024 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},"type":"article","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/A5100638601","display_name":"Xiaojian Wang","orcid":"https://orcid.org/0000-0002-5738-7547"},"institutions":[{"id":"https://openalex.org/I2801313472","display_name":"North Central State College","ror":"https://ror.org/04b6b6f76","country_code":"US","type":"education","lineage":["https://openalex.org/I2801313472"]},{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Xiaojian Wang","raw_affiliation_strings":["NC State University,Raleigh,NC,27606"],"affiliations":[{"raw_affiliation_string":"NC State University,Raleigh,NC,27606","institution_ids":["https://openalex.org/I137902535","https://openalex.org/I2801313472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039743876","display_name":"Ruozhou Yu","orcid":"https://orcid.org/0000-0003-0905-5158"},"institutions":[{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]},{"id":"https://openalex.org/I2801313472","display_name":"North Central State College","ror":"https://ror.org/04b6b6f76","country_code":"US","type":"education","lineage":["https://openalex.org/I2801313472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruozhou Yu","raw_affiliation_strings":["NC State University,Raleigh,NC,27606"],"affiliations":[{"raw_affiliation_string":"NC State University,Raleigh,NC,27606","institution_ids":["https://openalex.org/I137902535","https://openalex.org/I2801313472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048130147","display_name":"Dejun Yang","orcid":"https://orcid.org/0000-0002-1811-4423"},"institutions":[{"id":"https://openalex.org/I167576493","display_name":"Colorado School of Mines","ror":"https://ror.org/04raf6v53","country_code":"US","type":"education","lineage":["https://openalex.org/I167576493"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dejun Yang","raw_affiliation_strings":["Colorado School of Mines,Golden,CO,80401"],"affiliations":[{"raw_affiliation_string":"Colorado School of Mines,Golden,CO,80401","institution_ids":["https://openalex.org/I167576493"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089571901","display_name":"Huayue Gu","orcid":"https://orcid.org/0000-0002-9426-0596"},"institutions":[{"id":"https://openalex.org/I2801313472","display_name":"North Central State College","ror":"https://ror.org/04b6b6f76","country_code":"US","type":"education","lineage":["https://openalex.org/I2801313472"]},{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Huayue Gu","raw_affiliation_strings":["NC State University,Raleigh,NC,27606"],"affiliations":[{"raw_affiliation_string":"NC State University,Raleigh,NC,27606","institution_ids":["https://openalex.org/I137902535","https://openalex.org/I2801313472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102792588","display_name":"Zhouyu Li","orcid":null},"institutions":[{"id":"https://openalex.org/I2801313472","display_name":"North Central State College","ror":"https://ror.org/04b6b6f76","country_code":"US","type":"education","lineage":["https://openalex.org/I2801313472"]},{"id":"https://openalex.org/I137902535","display_name":"North Carolina State University","ror":"https://ror.org/04tj63d06","country_code":"US","type":"education","lineage":["https://openalex.org/I137902535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhouyu Li","raw_affiliation_strings":["NC State University,Raleigh,NC,27606"],"affiliations":[{"raw_affiliation_string":"NC State University,Raleigh,NC,27606","institution_ids":["https://openalex.org/I137902535","https://openalex.org/I2801313472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5100638601"],"corresponding_institution_ids":["https://openalex.org/I137902535","https://openalex.org/I2801313472"],"apc_list":null,"apc_paid":null,"fwci":3.123,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.93308349,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"2149","last_page":"2158"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.949400007724762,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.949400007724762,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9362999796867371,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7110779881477356},{"id":"https://openalex.org/keywords/edge-computing","display_name":"Edge computing","score":0.6193844676017761},{"id":"https://openalex.org/keywords/ubiquitous-computing","display_name":"Ubiquitous computing","score":0.5803283452987671},{"id":"https://openalex.org/keywords/enhanced-data-rates-for-gsm-evolution","display_name":"Enhanced Data Rates for GSM Evolution","score":0.534780740737915},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5160769820213318},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4463401138782501},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36651116609573364},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.19485673308372498},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18816205859184265},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.15729138255119324}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7110779881477356},{"id":"https://openalex.org/C2778456923","wikidata":"https://www.wikidata.org/wiki/Q5337692","display_name":"Edge computing","level":3,"score":0.6193844676017761},{"id":"https://openalex.org/C172195944","wikidata":"https://www.wikidata.org/wiki/Q541265","display_name":"Ubiquitous computing","level":2,"score":0.5803283452987671},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.534780740737915},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5160769820213318},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4463401138782501},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36651116609573364},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.19485673308372498},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18816205859184265},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.15729138255119324},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/infocom52122.2024.10621128","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom52122.2024.10621128","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2024 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","id":"https://metadata.un.org/sdg/13","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1538440442","https://openalex.org/W1557386445","https://openalex.org/W1563556756","https://openalex.org/W2041068798","https://openalex.org/W2077901621","https://openalex.org/W2082081352","https://openalex.org/W2086402015","https://openalex.org/W2112138431","https://openalex.org/W2150066425","https://openalex.org/W2169282617","https://openalex.org/W2171812140","https://openalex.org/W2211385226","https://openalex.org/W2233233025","https://openalex.org/W2239212099","https://openalex.org/W2344750859","https://openalex.org/W2350778671","https://openalex.org/W2590898937","https://openalex.org/W2615926310","https://openalex.org/W2743636256","https://openalex.org/W2763958004","https://openalex.org/W2784080445","https://openalex.org/W2920793298","https://openalex.org/W2981697940","https://openalex.org/W3015343560","https://openalex.org/W3117755275","https://openalex.org/W3133132742","https://openalex.org/W3199595564","https://openalex.org/W3200039226","https://openalex.org/W3203990902","https://openalex.org/W3211003315","https://openalex.org/W4206682705","https://openalex.org/W4210793770","https://openalex.org/W4281931699","https://openalex.org/W4283705276","https://openalex.org/W4288073028","https://openalex.org/W4293428454","https://openalex.org/W4313451592","https://openalex.org/W4366307903","https://openalex.org/W4375928838","https://openalex.org/W6787395356","https://openalex.org/W6794205253","https://openalex.org/W7065368293"],"related_works":["https://openalex.org/W4244076636","https://openalex.org/W2399184610","https://openalex.org/W4230176027","https://openalex.org/W2916277247","https://openalex.org/W1978647869","https://openalex.org/W4324372666","https://openalex.org/W4225706866","https://openalex.org/W2914646191","https://openalex.org/W4386004629","https://openalex.org/W2942586735"],"abstract_inverted_index":{"Edge":[0],"computing":[1,12,49],"gained":[2],"popularity":[3],"for":[4,31,77,158],"its":[5],"promises":[6],"of":[7,23,42,91,98,117,129,171],"low":[8],"latency":[9],"and":[10,28,64,79,95,120,187],"high-quality":[11],"services":[13],"to":[14,87,112,126,146,155],"users.":[15],"However,":[16],"it":[17],"has":[18],"also":[19],"introduced":[20],"the":[21,59,99,130,136,148],"challenge":[22],"mutual":[24],"untrust":[25],"between":[26],"user":[27,86],"edge":[29,43,48,52,93],"devices":[30,53],"service":[32,94,100],"level":[33],"agreement":[34],"(SLA)":[35],"compliance.":[36],"This":[37],"obstacle":[38],"hampers":[39],"wide":[40],"adoption":[41],"computing,":[44],"especially":[45],"in":[46,82],"pervasive":[47],"(PEC)":[50],"where":[51],"can":[54],"freely":[55],"enter":[56],"or":[57],"exit":[58],"market,":[60],"which":[61],"makes":[62],"verifying":[63,78],"enforcing":[65,80],"SLAs":[66,81],"significantly":[67],"more":[68],"challenging.":[69],"In":[70],"this":[71],"paper,":[72],"we":[73,141],"propose":[74],"a":[75,85,107,114,168,176],"framework":[76],"PEC,":[83],"allowing":[84],"assess":[88],"SLA":[89,173],"compliance":[90],"an":[92],"ensure":[96],"correctness":[97,128],"results.":[101,132],"Our":[102],"solution,":[103],"called":[104],"VeriEdge,":[105],"employs":[106],"verifiable":[108,143],"delayed":[109],"sampling":[110],"approach":[111],"sample":[113],"small":[115],"number":[116],"computation":[118,131],"steps,":[119],"relies":[121],"on":[122],"randomly":[123],"selected":[124],"verifiers":[125],"verify":[127],"To":[133],"make":[134],"sure":[135],"verification":[137],"process":[138],"is":[139,153,184],"non-manipulable,":[140],"employ":[142],"random":[144],"functions":[145],"post-select":[147],"verifier(s).":[149],"A":[150],"dispute":[151],"protocol":[152],"designed":[154],"resolve":[156],"disputes":[157],"potential":[159],"misbehavior.":[160],"Rigorous":[161],"security":[162],"analysis":[163],"demonstrates":[164],"that":[165,182],"VeriEdge":[166,183],"achieves":[167],"high":[169],"probability":[170],"detecting":[172],"violation":[174],"with":[175],"minimal":[177],"overhead.":[178],"Experimental":[179],"results":[180],"indicate":[181],"lightweight,":[185],"practical,":[186],"efficient.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-03T22:45:19.894376","created_date":"2025-10-10T00:00:00"}