DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 차상길 | - |
dc.contributor.advisor | Cha, Sang Kil | - |
dc.contributor.author | 정민규 | - |
dc.date.accessioned | 2021-05-11T19:34:33Z | - |
dc.date.available | 2021-05-11T19:34:33Z | - |
dc.date.issued | 2019 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=875530&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/283109 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 정보보호대학원, 2019.8,[iv, 22 p. :] | - |
dc.description.abstract | 현재의 바이너리 분석 연구들은 주로 프론트엔드가 아닌 백엔드에 중점을 두고 있다. 본 학위 논문에서는 바이너리 분석의 효율을 올릴 수 있는 몇 가지의 설계 관점들을 나열하고 해당 관점들의 효율성을 보이기 위해서 새로운 바이너리 분석 플랫폼인 B2R2을 설계 및 개발한다. B2R2은 바이너리 코드를 빠르게 리프팅 할 수 있으며, 빠른 중간 표현 연산이 가능하다. B2R2은 어떠한 외부 종속성 없이 f#이라는 함수형 언어로 작성되어 있어, 병렬화가 쉽게 가능하며 B2R2은 중간 표현이 메타정보를 담고 있어 빠른 데이터 흐름 분석이 가능하다. 따라서 모든 바이너리 분석 기술들이 우리의 중간 표현을 사용함으로써 이득을 얻을 수 있다. | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 바이너리 분석▼a병렬 리프팅 | - |
dc.subject | Binary analysis▼aparallel lifting | - |
dc.title | 효율적인 바이너리 분석 프론트엔드 | - |
dc.title.alternative | Efficient binary analysis frontend | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :정보보호대학원, | - |
dc.contributor.alternativeauthor | Jung, Minkyu | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.