{"id":"https://openalex.org/W4388858827","doi":"https://doi.org/10.1145/3576915.3623195","title":"The Locality of Memory Checking","display_name":"The Locality of Memory Checking","publication_year":2023,"publication_date":"2023-11-15","ids":{"openalex":"https://openalex.org/W4388858827","doi":"https://doi.org/10.1145/3576915.3623195"},"language":"en","primary_location":{"id":"doi:10.1145/3576915.3623195","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3576915.3623195","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3576915.3623195","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3576915.3623195","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107191417","display_name":"W. Wang","orcid":"https://orcid.org/0009-0007-3280-706X"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Weijie Wang","raw_affiliation_strings":["Yale University, New Haven, CT, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008298710","display_name":"Yujie Lu","orcid":"https://orcid.org/0009-0004-2534-5790"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yujie Lu","raw_affiliation_strings":["Yale University, New Haven, CT, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056111614","display_name":"Charalampos Papamanthou","orcid":"https://orcid.org/0000-0002-1905-9403"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Charalampos Papamanthou","raw_affiliation_strings":["Yale University, New Haven, CT, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100403511","display_name":"Fan Zhang","orcid":"https://orcid.org/0000-0002-8525-4514"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fan Zhang","raw_affiliation_strings":["Yale University, New Haven, CT, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, New Haven, CT, USA","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5107191417"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":2.265,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.90760947,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1820","last_page":"1834"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10237","display_name":"Cryptography and Data Security","score":0.9994000196456909,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/locality","display_name":"Locality","score":0.8240036368370056},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7436146140098572},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5022311210632324},{"id":"https://openalex.org/keywords/merkle-tree","display_name":"Merkle tree","score":0.46228885650634766},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4385247826576233},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4272480607032776},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.41807568073272705},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.4115750193595886},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3147410452365875},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.23641258478164673},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.17813444137573242},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1303178369998932}],"concepts":[{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.8240036368370056},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7436146140098572},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5022311210632324},{"id":"https://openalex.org/C205383636","wikidata":"https://www.wikidata.org/wiki/Q14746","display_name":"Merkle tree","level":4,"score":0.46228885650634766},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4385247826576233},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4272480607032776},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.41807568073272705},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4115750193595886},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3147410452365875},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.23641258478164673},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.17813444137573242},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1303178369998932},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C7608002","wikidata":"https://www.wikidata.org/wiki/Q477202","display_name":"Cryptographic hash function","level":3,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3576915.3623195","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3576915.3623195","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3576915.3623195","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3576915.3623195","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3576915.3623195","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3576915.3623195","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G443401179","display_name":null,"funder_award_id":"1652259,2247308,2153768","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320308380","display_name":"Yale University","ror":"https://ror.org/03v76x132"},{"id":"https://openalex.org/F4320316785","display_name":"VMware","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388858827.pdf","grobid_xml":"https://content.openalex.org/works/W4388858827.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W7678451","https://openalex.org/W59915946","https://openalex.org/W1562394980","https://openalex.org/W1909324101","https://openalex.org/W1994135885","https://openalex.org/W2015853171","https://openalex.org/W2068739275","https://openalex.org/W2147929033","https://openalex.org/W2604844934","https://openalex.org/W2887050046","https://openalex.org/W2913435035","https://openalex.org/W2944922632","https://openalex.org/W3021801092","https://openalex.org/W3111612698","https://openalex.org/W3157554994","https://openalex.org/W3210239375"],"related_works":["https://openalex.org/W3175943848","https://openalex.org/W2397192327","https://openalex.org/W1556451512","https://openalex.org/W1555349535","https://openalex.org/W4234091740","https://openalex.org/W4213350282","https://openalex.org/W2230171082","https://openalex.org/W2583128298","https://openalex.org/W2022275305","https://openalex.org/W2619684400"],"abstract_inverted_index":{"Motivated":[0],"by":[1],"the":[2,28,37,60,67,98,117,167,215],"extended":[3],"deployment":[4],"of":[5,17,27,31,40,51,69,100,116,217],"authenticated":[6,187],"data":[7,18,188],"structures":[8,189],"(e.g.,":[9],"Merkle":[10,113,137,211],"Patricia":[11],"Tries)":[12],"for":[13,46,59,97,127],"verifying":[14],"massive":[15],"amounts":[16],"in":[19,49],"blockchain":[20],"systems,":[21],"we":[22,57,105,132,150,154,194],"begin":[23],"a":[24,43,73,80,83],"systematic":[25],"study":[26],"I/O":[29],"efficiency":[30],"such":[32],"systems.":[33],"We":[34],"first":[35,61],"explore":[36],"fundamental":[38],"limitations":[39],"memory":[41,71,102,120],"checking,":[42],"previously-proposed":[44],"abstraction":[45],"verifiable":[47],"storage,":[48],"terms":[50],"its":[52],"locality-a":[53],"complexity":[54],"measure":[55],"that":[56,134,156],"introduce":[58],"time":[62],"and":[63,111,122,191,196,201,204],"is":[64,89],"defined":[65],"as":[66,214],"number":[68,216],"non-contiguous":[70],"regions":[72],"checker":[74],"must":[75],"query":[76],"to":[77,109,208],"verifiably":[78],"answer":[79],"read":[81,168],"or":[82],"write":[84,159],"query.":[85],"Our":[86,178],"central":[87],"result":[88],"an":[90],"\u03a9(log":[91],"n/log":[92,175],"log":[93,174,176],"n)":[94],"lower":[95,125,179],"bound":[96],"locality":[99,143,169],"any":[101,135,158],"checker.":[103],"Then":[104],"turn":[106],"our":[107],"attention":[108],"(dense":[110],"sparse)":[112],"trees,":[114,212],"one":[115],"most":[118,163],"celebrated":[119],"checkers,":[121],"provide":[123],"stronger":[124],"bounds":[126,180],"their":[128],"locality.":[129],"For":[130],"example,":[131],"show":[133,155],"dense":[136],"tree":[138],"layout":[139],"will":[140],"have":[141],"average":[142],"at":[144,162],"least":[145],"(1/3)log":[146],"n.":[147,177],"Furthermore,":[148],"if":[149,157],"allow":[151],"node":[152],"duplication,":[153],"operation":[160],"has":[161],"polylog":[164],"complexity,":[165],"then":[166],"cannot":[170],"be":[171],"less":[172],"than":[173],"help":[181],"us":[182],"construct":[183],"two":[184],"new":[185],"locality-optimized":[186],"(DupTree":[190],"PrefixTree)":[192],"which":[193,205],"implement":[195],"evaluate":[197],"on":[198],"random":[199],"operations":[200],"real":[202],"workloads,":[203],"are":[206],"shown":[207],"outperform":[209],"traditional":[210],"especially":[213],"leaves":[218],"increases.":[219]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}