Securing legacy kernel with type-guided refactoring to rust러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 116
  • Download : 0
DC FieldValueLanguage
dc.contributor.advisorRyu, Sukyoung-
dc.contributor.advisor류석영-
dc.contributor.authorPark, Sanguk-
dc.date.accessioned2022-04-27T19:31:55Z-
dc.date.available2022-04-27T19:31:55Z-
dc.date.issued2021-
dc.identifier.urihttp://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=948451&flag=dissertationen_US
dc.identifier.urihttp://hdl.handle.net/10203/296108-
dc.description학위논문(석사) - 한국과학기술원 : 전산학부, 2021.2,[iii, 27 p. :]-
dc.description.abstractSecuring the safety of a kernel is primitive but extremely important in protecting operating systems from security threats. To enforce the kernel safety, various methods, $\textit{e.g.}$ fuzzing, static analysis, and formal verifications, are proposed, but limited by incompleteness, low precision, and high cost. To overcome the limitations, one suggested writing a kernel in a type-safe language. However, it is difficult to write a kernel in a safe language, since it requires unsafe low-level controls for performance and management of peripheral devices. In this paper, we propose $\textit{Type-Guided Refactoring (TGR)}$, a method to refactor legacy kernels to a type-safe programming language Rust, preserving kernel developers’ intent. We present the safe abstractions of core kernel components in types obtained from the method. Finally we inspect that TGR is systematic and efficient by applying TGR on an existing kernel, Hafnium.-
dc.languageeng-
dc.publisher한국과학기술원-
dc.subjectSafety▼aKernel▼aRefactoring▼aRust▼aType-
dc.subject안전성▼a커널▼a리팩토링▼a러스트▼a타입-
dc.titleSecuring legacy kernel with type-guided refactoring to rust-
dc.title.alternative러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호-
dc.typeThesis(Master)-
dc.identifier.CNRN325007-
dc.description.department한국과학기술원 :전산학부,-
dc.contributor.alternativeauthor박상욱-
Appears in Collection
CS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0