{"id":"https://openalex.org/W4415344221","doi":"https://doi.org/10.1145/3719027.3744861","title":"Securing Mixed Rust with Hardware Capabilities","display_name":"Securing Mixed Rust with Hardware Capabilities","publication_year":2025,"publication_date":"2025-11-19","ids":{"openalex":"https://openalex.org/W4415344221","doi":"https://doi.org/10.1145/3719027.3744861"},"language":"en","primary_location":{"id":"doi:10.1145/3719027.3744861","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3744861","pdf_url":null,"source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3719027.3744861","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007495800","display_name":"Jason Zhijingcheng Yu","orcid":"https://orcid.org/0000-0001-6013-157X"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jason Z. Yu","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-6013-157X","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112433169","display_name":"Fei Han","orcid":"https://orcid.org/0009-0003-1895-8647"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Fangqi Han","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0009-0003-1895-8647","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120060964","display_name":"Kaustab Choudhury","orcid":"https://orcid.org/0009-0000-4835-4076"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Kaustab Choudhury","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0009-0000-4835-4076","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069683581","display_name":"Trevor E. Carlson","orcid":"https://orcid.org/0000-0001-8742-134X"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Trevor E. Carlson","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-8742-134X","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034054081","display_name":"Prateek Saxena","orcid":"https://orcid.org/0000-0002-1875-8675"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Prateek Saxena","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-1875-8675","affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0652,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.80506427,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1544","last_page":"1558"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12146","display_name":"Power Line Communications and Noise","score":0.5390999913215637,"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"}},"topics":[{"id":"https://openalex.org/T12146","display_name":"Power Line Communications and Noise","score":0.5390999913215637,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.887499988079071},{"id":"https://openalex.org/keywords/memory-safety","display_name":"Memory safety","score":0.7648000121116638},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5130000114440918},{"id":"https://openalex.org/keywords/assembly-language","display_name":"Assembly language","score":0.4429999887943268},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4359000027179718},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.35190001130104065},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.33160001039505005},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.3158000111579895}],"concepts":[{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.887499988079071},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.7648000121116638},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7214000225067139},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5130000114440918},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5110999941825867},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4740000069141388},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.4429999887943268},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4359000027179718},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3652999997138977},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.35190001130104065},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.33230000734329224},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.33160001039505005},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.3158000111579895},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C47434764","wikidata":"https://www.wikidata.org/wiki/Q1770035","display_name":"Dead code","level":5,"score":0.27730000019073486},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2745000123977661},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C154526789","wikidata":"https://www.wikidata.org/wiki/Q157965","display_name":"Object code","level":4,"score":0.26269999146461487},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.2538999915122986},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.25279998779296875}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3719027.3744861","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3744861","pdf_url":null,"source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2507.03344","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2507.03344","pdf_url":"https://arxiv.org/pdf/2507.03344","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3719027.3744861","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3719027.3744861","pdf_url":null,"source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8696788745","display_name":null,"funder_award_id":"MOE-T2EP20124-0007","funder_id":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore"}],"funders":[{"id":"https://openalex.org/F4320320751","display_name":"Ministry of Education - Singapore","ror":"https://ror.org/01kcva023"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,53],"Rust":[1,7,30,54,61,65,95,174,194,211,216],"programming":[2],"language":[3],"enforces":[4],"three":[5],"basic":[6],"principles,":[8],"namely":[9],"ownership,":[10],"borrowing,":[11],"and":[12,26,47,93,209],"AXM":[13],"(Aliasing":[14],"Xor":[15],"Mutability)":[16],"to":[17,58,70,108,145,157],"prevent":[18],"security":[19,72,81],"bugs":[20,229],"such":[21,160,231],"as":[22],"memory":[23,120,134,151],"safety":[24,152],"violations":[25,97,213],"data":[27],"races.":[28],"However,":[29],"projects":[31,217],"often":[32],"have":[33],"mixed":[34,64,101],"code,":[35],"i.e.,":[36],"code":[37,66,92,195],"that":[38,84,116,187,218],"also":[39,148],"uses":[40],"unsafe":[41],"Rust,":[42],"FFI":[43,220],"(Foreign":[44],"Function":[45],"Interfaces),":[46],"inline":[48,222],"assembly":[49],"for":[50,128],"low-level":[51],"control.":[52],"compiler":[55],"is":[56,104,164,189],"unable":[57],"statically":[59],"enforce":[60],"principles":[62],"in":[63,100,214,230,233],"which":[67],"can":[68,85],"lead":[69],"many":[71],"vulnerabilities.":[73],"In":[74],"this":[75],"paper,":[76],"we":[77],"propose":[78],"CapsLock,":[79],"a":[80,124,133,137,178],"enforcement":[82,172],"mechanism":[83,167],"run":[86],"at":[87,98],"the":[88,165,199,204],"level":[89],"of":[90,169,173,180,198,203],"machine":[91],"detect":[94],"principle":[96,212],"run-time":[99],"code.":[102],"CapsLock":[103,122,163,181,188],"kept":[105],"simple":[106],"enough":[107],"be":[109],"implemented":[110,177],"into":[111],"recent":[112],"capability-based":[113,129],"hardware":[114],"abstractions":[115],"provide":[117],"low-cost":[118],"spatial":[119],"safety.":[121],"introduces":[123],"novel":[125],"revoke-on-use":[126],"abstraction":[127],"designs,":[130],"wherein":[131],"accessing":[132],"object":[135],"via":[136],"capability":[138],"implicitly":[139],"invalidates":[140],"certain":[141],"other":[142],"capabilities":[143],"pointing":[144],"it,":[146],"thereby":[147],"providing":[149,170],"temporal":[150],"automatically,":[153],"without":[154],"requiring":[155],"software":[156],"explicitly":[158],"specify":[159],"invalidation.":[161],"Thus,":[162],"first":[166],"capable":[168],"cross-language":[171],"principles.":[175],"We":[176,224],"prototype":[179],"on":[182],"QEMU.":[183],"Evaluation":[184],"results":[185],"show":[186],"highly":[190],"compatible":[191],"with":[192],"existing":[193],"(passing":[196],"99.7%":[197],"built-in":[200],"test":[201],"cases":[202],"100":[205],"most":[206],"popular":[207],"crates)":[208],"flags":[210],"real-world":[215],"use":[219],"or":[221],"assembly.":[223],"discovered":[225],"8":[226],"previously":[227],"unknown":[228],"crates":[232],"our":[234],"experiments.":[235]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-20T00:00:00"}