{"id":"https://openalex.org/W4403536743","doi":"https://doi.org/10.1145/3691620.3695373","title":"Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems","display_name":"Semi-Automated Verification of Interior Unsafe Code Encapsulation in Real-World Rust Systems","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4403536743","doi":"https://doi.org/10.1145/3691620.3695373"},"language":"en","primary_location":{"id":"doi:10.1145/3691620.3695373","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691620.3695373","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","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/A5040846227","display_name":"Zihao Rao","orcid":null},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zihao Rao","raw_affiliation_strings":["Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0001-7225-9340","affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5040846227"],"corresponding_institution_ids":["https://openalex.org/I24943067"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2435","last_page":"2437"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9771000146865845,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9771000146865845,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.9700000286102295,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9086999893188477,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/encapsulation","display_name":"Encapsulation (networking)","score":0.7810256481170654},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.652911901473999},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4466017186641693},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.33799391984939575}],"concepts":[{"id":"https://openalex.org/C81147070","wikidata":"https://www.wikidata.org/wiki/Q1172449","display_name":"Encapsulation (networking)","level":2,"score":0.7810256481170654},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.652911901473999},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4466017186641693},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.33799391984939575}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691620.3695373","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691620.3695373","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2793146918","https://openalex.org/W3039784053","https://openalex.org/W3089734599","https://openalex.org/W3091734871","https://openalex.org/W3099830904","https://openalex.org/W3109383821","https://openalex.org/W3151648723","https://openalex.org/W3202751128","https://openalex.org/W3206718132","https://openalex.org/W3206881395","https://openalex.org/W3212191335","https://openalex.org/W4200421685","https://openalex.org/W4281773296","https://openalex.org/W4285303404","https://openalex.org/W4393170538","https://openalex.org/W4394744163"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2277514059","https://openalex.org/W1548373682","https://openalex.org/W2233266406","https://openalex.org/W4210441588","https://openalex.org/W2913147969","https://openalex.org/W2031154819","https://openalex.org/W4395456051"],"abstract_inverted_index":{"Interior":[0],"unsafe":[1,30,45,61,80,119],"is":[2,18,46,138],"an":[3],"essential":[4,75],"design":[5,59],"paradigm":[6],"advocated":[7],"by":[8],"the":[9,74,84,116],"Rust":[10,57,129],"community":[11],"in":[12,48,140,155],"system":[13],"software":[14],"development.":[15],"However,":[16],"there":[17],"little":[19],"official":[20],"guidance":[21],"or":[22,163],"few":[23],"best":[24,53],"practices":[25,54],"regarding":[26],"how":[27,43],"to":[28,51,55,72,97,126],"encapsulate":[29],"code":[31,58,62,120],"and":[32,77,93,151],"achieve":[33],"interior":[34,44],"unsafe.":[35],"To":[36],"address":[37],"this":[38,40],"issue,":[39],"paper":[41],"studies":[42],"achieved":[47],"practice,":[49],"aiming":[50],"identify":[52],"guide":[56],"concerning":[60],"encapsulation.":[63,121],"Specifically,":[64],"we":[65,86,146],"propose":[66,88],"a":[67,99],"novel":[68],"unsafety":[69],"isolation":[70,91],"graph":[71,100],"model":[73],"usage":[76],"encapsulation":[78,143,149],"of":[79,118],"code.":[81,144],"Based":[82],"on":[83],"graph,":[85],"further":[87],"four":[89,127],"major":[90],"types":[92],"nine":[94],"structural":[95],"patterns":[96,150],"split":[98],"into":[101],"several":[102],"small":[103],"self-contained":[104],"subgraphs.":[105],"These":[106],"subgraphs":[107],"can":[108],"serve":[109],"as":[110],"useful":[111],"audit":[112],"units":[113],"for":[114],"examining":[115],"soundness":[117,161],"We":[122],"applied":[123],"our":[124,136],"approach":[125],"real-world":[128],"projects.":[130],"The":[131],"experimental":[132],"results":[133],"demonstrate":[134],"that":[135,158],"method":[137],"effective":[139],"characterizing":[141],"their":[142],"Additionally,":[145],"identified":[147],"three":[148],"two":[152],"common":[153],"issues":[154],"these":[156],"projects":[157],"could":[159],"complicate":[160],"verification":[162],"incur":[164],"unsoundness":[165],"issues.":[166]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}