DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Ryu, Sukyoung | - |
dc.contributor.advisor | 류석영 | - |
dc.contributor.author | Park, Sanguk | - |
dc.date.accessioned | 2022-04-27T19:31:55Z | - |
dc.date.available | 2022-04-27T19:31:55Z | - |
dc.date.issued | 2021 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=948451&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/296108 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2021.2,[iii, 27 p. :] | - |
dc.description.abstract | Securing 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.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Safety▼aKernel▼aRefactoring▼aRust▼aType | - |
dc.subject | 안전성▼a커널▼a리팩토링▼a러스트▼a타입 | - |
dc.title | Securing legacy kernel with type-guided refactoring to rust | - |
dc.title.alternative | 러스트에서 타입 기반 리팩토링을 통한 기존 커널 보호 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
dc.contributor.alternativeauthor | 박상욱 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.