{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T10:02:28Z","timestamp":1781258548762,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["MOE-T2EP20124-0007"],"award-info":[{"award-number":["MOE-T2EP20124-0007"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,19]]},"DOI":"10.1145\/3719027.3744861","type":"proceedings-article","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T23:33:16Z","timestamp":1763854396000},"page":"1544-1558","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Securing Mixed Rust with Hardware Capabilities"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6013-157X","authenticated-orcid":false,"given":"Jason Z.","family":"Yu","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-1895-8647","authenticated-orcid":false,"given":"Fangqi","family":"Han","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4835-4076","authenticated-orcid":false,"given":"Kaustab","family":"Choudhury","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8742-134X","authenticated-orcid":false,"given":"Trevor E.","family":"Carlson","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1875-8675","authenticated-orcid":false,"given":"Prateek","family":"Saxena","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,11,22]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"[n.d.]. About RustSec \u203a RustSec Advisory Database. https:\/\/rustsec.org\/."},{"key":"e_1_3_2_2_2_1","unstructured":"[n.d.]. Crates.Io: Rust Package Registry. https:\/\/crates.io\/."},{"key":"e_1_3_2_2_3_1","unstructured":"2023. Supporting the Use of Rust in the Chromium Project."},{"key":"e_1_3_2_2_4_1","unstructured":"2024. Rust-Lang\/Miri. The Rust Programming Language."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3176258.3176330"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428204"},{"key":"e_1_3_2_2_7_1","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Bang Inyoung","year":"2023","unstructured":"Inyoung Bang, Martin Kayondo, HyunGon Moon, and Yunheung Paek. 2023. TRust: A Compilation Framework for in-Process Isolation to Protect Safe Rust against Untrusted Code. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 6947--6964."},{"key":"e_1_3_2_2_8_1","volume-title":"2005 USENIX Annual Technical Conference (USENIX ATC 05)","author":"Bellard Fabrice","year":"2005","unstructured":"Fabrice Bellard. 2005. QEMU, a Fast and Portable Dynamic Translator. In 2005 USENIX Annual Technical Conference (USENIX ATC 05). USENIX Association, Anaheim, CA."},{"key":"e_1_3_2_2_9_1","volume-title":"RustSan: Retrofitting AddressSanitizer for Efficient Sanitization of Rust. In 33rd USENIX Security Symposium (USENIX Security 24)","author":"Cho Kyuwon","year":"2024","unstructured":"Kyuwon Cho, Jongyoon Kim, Kha Dinh Duy, Hajeong Lim, and Hojoon Lee. 2024. RustSan: Retrofitting AddressSanitizer for Efficient Sanitization of Rust. In 33rd USENIX Security Symposium (USENIX Security 24). USENIX Association, Philadelphia, PA, 3729--3746."},{"key":"e_1_3_2_2_10_1","unstructured":"Thomas Claburn. 2023. Microsoft Is Rewriting Core Windows Libraries in Rust. https:\/\/www.theregister.com\/2023\/04\/27\/microsoft_windows_rust\/."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353534.1346295"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","unstructured":"Lawrence Esswood. 2020. CheriOS: Designing an Untrusted Single-Address-Space Capability Operating System Utilising Capability Hardware and a Minimal Hypervisor. Ph. D. Dissertation. Apollo - University of Cambridge Repository. doi:10.17863\/CAM.74163","DOI":"10.17863\/CAM.74163"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640416"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1995.476822"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Merve G\u00fclmez Thomas Nyman Christoph Baumann and Jan Tobias M\u00fchlberg. 2023. Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust. arXiv:2306.08127 [cs]","DOI":"10.1109\/SecDev56634.2023.00020"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2023.39"},{"key":"e_1_3_2_2_17_1","unstructured":"Jonathan Corbet. 2022. A First Look at Rust in the 6.1 Kernel [LWN.Net]. https:\/\/lwn.net\/Articles\/910762\/."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371109"},{"key":"e_1_3_2_2_19_1","volume-title":"USENIX Security '24","author":"Kayondo Martin","year":"2024","unstructured":"Martin Kayondo, Inyoung Bang, Yeongjun Kwak, Hyungon Moon, and Yunheung Paek. 2024. METASAFE: Compiling for Protecting Smart Pointer Metadata to Ensure Safe Rust Integrity. In USENIX Security '24."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519582"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3144555.3144562"},{"key":"e_1_3_2_2_22_1","volume-title":"Capability-Based Computer Systems","author":"Levy Henry M.","unstructured":"Henry M. Levy. 1984. Capability-Based Computer Systems. Digital Press, Bedford, Mass."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3-031--17143--7_33"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380325"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"crossref","unstructured":"Ian McCormack Joshua Sunshine and Jonathan Aldrich. 2024. A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. arXiv:2404.11671 [cs]","DOI":"10.1109\/ICSE55347.2025.00167"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263.2024.00182"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542504"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3485903"},{"key":"e_1_3_2_2_30_1","volume-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference (Usenix Atc'12)","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In Proceedings of the 2012 USENIX Conference on Annual Technical Conference (Usenix Atc'12). USENIX Association, USA, 28."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_2_32_1","volume-title":"Strengthening Memory Safety in Rust: Exploring CHERI Capabilities for a Safe Language. Ph. D. Dissertation","author":"Sheng Sim Nicholas Wei","unstructured":"Nicholas Wei Sheng Sim. 2020. Strengthening Memory Safety in Rust: Exploring CHERI Capabilities for a Safe Language. Ph. D. Dissertation. University of Cambridge, Computer Laboratory."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290332"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665741"},{"key":"e_1_3_2_2_35_1","unstructured":"Neven Villani. 2023. Tree Borrows."},{"key":"e_1_3_2_2_36_1","unstructured":"Andrew Waterman Krste Asanovic John Hauser and CS Division. [n.d.]. The RISC-V Instruction Set Manual (Volume II: Privileged Architecture)."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.9"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00098"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605429"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358288"},{"key":"e_1_3_2_2_41_1","volume-title":"Capstone: A Capability-based Foundation for Trustless Secure Memory Access. In 32nd USENIX Security Symposium (USENIX Security 23)","author":"Yu Jason Zhijingcheng","year":"2023","unstructured":"Jason Zhijingcheng Yu, Conrad Watt, Aditya Badole, Trevor E. Carlson, and Prateek Saxena. 2023. Capstone: A Capability-based Foundation for Trustless Secure Memory Access. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association, Anaheim, CA, 787--804."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","unstructured":"Zhijingcheng Yu Fangqi Han Kaustab Choudhury Trevor E. Carlson and Prateek Saxena. 2025. Artifacts of ''Securing Mixed Rust with Hardware Capabilities''. Zenodo. doi:10.5281\/ZENODO.14625327","DOI":"10.5281\/ZENODO.14625327"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613878"}],"event":{"name":"CCS '25: ACM SIGSAC Conference on Computer and Communications Security","location":"Taipei Taiwan","acronym":"CCS '25","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3719027.3744861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:16:06Z","timestamp":1766441766000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3719027.3744861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,19]]},"references-count":43,"alternative-id":["10.1145\/3719027.3744861","10.1145\/3719027"],"URL":"https:\/\/doi.org\/10.1145\/3719027.3744861","relation":{},"subject":[],"published":{"date-parts":[[2025,11,19]]},"assertion":[{"value":"2025-11-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}