DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Yongdae | - |
dc.contributor.advisor | 김용대 | - |
dc.contributor.advisor | Yun, Insu | - |
dc.contributor.advisor | 윤인수 | - |
dc.contributor.author | Jeong, Hyunsik | - |
dc.date.accessioned | 2023-06-26T19:31:56Z | - |
dc.date.available | 2023-06-26T19:31:56Z | - |
dc.date.issued | 2022 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=997749&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/309613 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 정보보호대학원, 2022.2,[iv, 20 p. :] | - |
dc.description.abstract | Qualcomm Hexagon is an architecture for general-purpose digital signal processors and is used for mobile communication of various devices. Despite the importance of security as much as its popularity, studies on the correctness of emulators and decompilers are insufficient, which are essential for Hexagon's security analysis. In this study, we propose a differential testing tool to automatically discover bugs in emulators and decompilers for Hexagon. To this end, we devise an algorithm to generate random instructions while ensuring constraints in Hexagon | - |
dc.description.abstract | Hexagon employs several constraints in its instruction because of its VLIW (very long instruction word) structure. Then, we applied our tool to two emulators for Hexagon (hexagon-sim and quic/qemu) and one decompiler, binja-hexagon from Google. As a result, we found about 15,000 instructions that cause inconsistent results among them. By analyzing these instructions, we could discover four bugs which are fatal to the correctness. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.title | Analysis of the correctness of Qualcomm Hexagon emulators and decompilers via differential testing | - |
dc.title.alternative | 차등 테스트를 통한 Qualcomm Hexagon 에뮬레이터 및 디컴파일러의 정확성 분석 | - |
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.