{"id":2006941,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:02006941","sets":["1164:1867:1770094923682:1770094831086"]},"path":["1770094831086"],"owner":"80578","recid":"2006941","title":["RINA: Semantic-Aware Enforcement of Rust Safety Invariants at Cross-Language Boundaries"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2026-02-09"},"_buckets":{"deposit":"0b57766c-1c58-4fcf-a432-1772fa9149df"},"_deposit":{"id":"2006941","pid":{"type":"depid","value":"2006941","revision_id":0},"owners":[80578],"status":"published","created_by":80578},"item_title":"RINA: Semantic-Aware Enforcement of Rust Safety Invariants at Cross-Language Boundaries","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"RINA: Semantic-Aware Enforcement of Rust Safety Invariants at Cross-Language Boundaries","subitem_title_language":"ja"},{"subitem_title":"RINA: Semantic-Aware Enforcement of Rust Safety Invariants at Cross-Language Boundaries","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"セキュリティ","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2026-02-09","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Keio University"},{"subitem_text_value":"Keio University"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Keio University","subitem_text_language":"en"},{"subitem_text_value":"Keio University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/2006941/files/IPSJ-OS26170018.pdf","label":"IPSJ-OS26170018.pdf"},"date":[{"dateType":"Available","dateValue":"2028-02-09"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-OS26170018.pdf","filesize":[{"value":"993.7 KB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"11"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"41f16096-eb63-4355-bafb-9975d38f86c1","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2026 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shengyang,Li"}]},{"creatorNames":[{"creatorName":"Kenji,Kono"}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shengyang Li","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Kenji Kono","creatorNameLang":"en"}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10444176","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8795","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"Rust ensures strong memory safety through ownership and borrowing; yet, these guarantees often collapse at the cross language boundary. This transition creates a semantic gap―comprising vertical semantic loss during compilation and horizontal context discontinuity at the language boundary―leaving the Rust compiler oblivious to native execution. Existing analysis tools struggle to bridge this gap, suffering from either semantic erasure during lowering or prohibitive overhead from exhaustive instruction-level monitoring. We present RINA (Rust Invariant and Native Auditor ), a semantic-aware auditing framework that utilizes WebAssembly (Wasm) as a unified intermediate platform. RINA's key insight is to treat cross-language vulnerabilities as semantic invariant violations detectable at language boundaries. It statically lifts rich Rust semantics (e.g., ownership markers and thread-safety traits) as metadata and dynamically enforces these safety contracts via boundary-centric binary instrumentation. Preliminary evaluation on 21 real-world FFI CVEs across memory, type, semantic, thread, and exception safety dimensions demonstrates that RINA achieves a 95.2% recall rate (20/21) with low runtime overhead. RINA provides an efficient and practical solution for maintaining Rust's safety guarantees in an increasingly inter-connected ecosystem.","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Rust ensures strong memory safety through ownership and borrowing; yet, these guarantees often collapse at the cross language boundary. This transition creates a semantic gap―comprising vertical semantic loss during compilation and horizontal context discontinuity at the language boundary―leaving the Rust compiler oblivious to native execution. Existing analysis tools struggle to bridge this gap, suffering from either semantic erasure during lowering or prohibitive overhead from exhaustive instruction-level monitoring. We present RINA (Rust Invariant and Native Auditor ), a semantic-aware auditing framework that utilizes WebAssembly (Wasm) as a unified intermediate platform. RINA's key insight is to treat cross-language vulnerabilities as semantic invariant violations detectable at language boundaries. It statically lifts rich Rust semantics (e.g., ownership markers and thread-safety traits) as metadata and dynamically enforces these safety contracts via boundary-centric binary instrumentation. Preliminary evaluation on 21 real-world FFI CVEs across memory, type, semantic, thread, and exception safety dimensions demonstrates that RINA achieves a 95.2% recall rate (20/21) with low runtime overhead. RINA provides an efficient and practical solution for maintaining Rust's safety guarantees in an increasingly inter-connected ecosystem.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"7","bibliographic_titles":[{"bibliographic_title":"研究報告システムソフトウェアとオペレーティング・システム（OS）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2026-02-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"18","bibliographicVolumeNumber":"2026-OS-170"}]},"relation_version_is_last":true,"weko_creator_id":"80578"},"updated":"2026-02-03T05:47:16.771455+00:00","created":"2026-02-03T05:47:11.608002+00:00","links":{}}