한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

한국정보처리학회 (Korea Information Processing Society)
권호 표지

Rust 언어와의 외부 함수 인터페이스 격리 연구방향에 관한 연구

Assessing The Landscape: A Survey on Foreign Function Interface Isolation in Rust

  • 커욘도마틴 (서울대학교 전기정보학부) ;
  • 유준승 (서울대학교 전기정보학부) ;
  • 최진명 (서울대학교 전기정보학부) ;
  • 백윤흥 (서울대학교 전기정보학부)
  • Martin Kayondo (Dept. of Electrical and Computer Engineering, Seoul National University) ;
  • Junseung You (Dept. of Electrical and Computer Engineering, Seoul National University) ;
  • Jinmyeong Choi (Dept. of Electrical and Computer Engineering, Seoul National University) ;
  • Yunheung Paek (Dept. of Electrical and Computer Engineering, Seoul National University)
  • 발행 : 2024.05.23
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

Rust has gained recognition for its emphasis on and commitment to providing memory safety. However, seamlessly integrating it with Foreign Function Interfaces (FFIs) written in unsafe languages remains a significant challenge towards achieving complete memory safety. To address this challenge, researchers have proposed Foreign Function Isolation as a potential solution, leading to emergence of various approaches in this domain. This paper critically evaluates existing solutions and illuminates the gaps that need to be addressed to realize practical foreign function isolation in Rust.

키워드

과제정보

This work was supported by the NationalResearch Foundation of Korea(NRF) grant fundedby the Korea government(MSIT)(RS-2023-00277326). This work was supported bythe BK21 FOUR program of the Education andResearch Program for Future ICT Pioneers, SeoulNational University in 2024. This work wassupported by Inter-University SemiconductorResearch Center (ISRC). This work wassupported by Institute of Information &communications Technology Planning &Evaluation (IITP) under the artificial intelligencesemiconductor support program to nurture thebest talents (IITP-2023-RS-2023-00256081) grantfunded by the Korea government(MSIT).

참고문헌

  1. Liu, Peiming, Gang Zhao, and Jeff Huang, "Securing unsafe rust programs with XRust.", Proceedings of the ACM/IEEE International Conference on Software Engineering, 42nd, 2020, pp 234-245.
  2. Bang I, Kayondo M, Moon H, Paek Y, {TRust}: A Compilation Framework for In-process Isolation to Protect Safe Rust against Untrusted Code, USENIX Security Symposium (USENIX Security 23), 32nd , 2023, pp. 6947-6964.
  3. Kirth P, Dickerson M, Crane S, Larsen P, Dabrowski A, Gens D, Na Y, Volckaert S, Franz M, PKRU-Safe: Automatically locking down the heap between safe and unsafe languages, Proceedings of the European Conference on Computer Systems, 17th, pp. 132-148.
  4. Lamowski B, Weinhold C, Lackorzynski A, Hartig H, Sandcrust: Automatic sandboxing of unsafe components in rust. Proceedings of the Workshop on Programming Languages and Operating Systems, 9th, 2017, pp. 51-57.
  5. Rivera E, Mergendahl S, Shrobe H, Okhravi H, Burow N. Keeping safe rust safe with galeed. Proceedings of the Annual Computer Security Applications Conference, 37th, pp. 824-836.