DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 윤인수 | - |
dc.contributor.author | Baek, Min Woo | - |
dc.contributor.author | 백민우 | - |
dc.date.accessioned | 2024-08-08T19:30:25Z | - |
dc.date.available | 2024-08-08T19:30:25Z | - |
dc.date.issued | 2024 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=1097359&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/321827 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 정보보호대학원, 2024.2,[iv, 32 p. :] | - |
dc.description.abstract | Baseband software is an important component in cellular communication. Unfortunately, it is almost impossible to implement baseband software correctly due to the complexity and the large volume of cellular specifications. As a result, dynamic testing has been widely used to discover implementation bugs in them. However, this approach suffers from the reachability problem, resulting in many missed bugs. Recently, a static approach was proposed for analyzing baseband software. However, this requires heavy manual analysis and is limited to message decoding, failing to support integrity protection, the most critical step in mobile communication. In this paper, we propose a novel, semi-automated approach, for analyzing integrity protection. To tame the complexity of baseband firmware, our approach utilizes probabilistic inference to identify the integrity protection function. In particular, our approach builds a factor graph from the firmware based on specifications and discovers the most probable function for integrity protection. Then, with additional manual analysis, our approach performs symbolic analysis to validate that its behavior conforms to the specification and reports any discrepancies. This can significantly reduce manual efforts for analysis, the primary limitation of the previous static analysis approach for baseband. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 베이스밴드 소프트웨어▼a정적 분석▼a비교 분석▼a확률적 추론▼a심볼릭 실행 | - |
dc.subject | Baseband software▼aStatic analysis▼aComparative analysis▼aProbabilistic inference▼aSymbolic execution | - |
dc.title | Static analysis on cellular baseband software with probabilistic inference | - |
dc.title.alternative | 확률적 추론을 이용한 셀룰러 베이스밴드 소프트웨어 정적 분석 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :정보보호대학원, | - |
dc.contributor.alternativeauthor | Yun, Insu | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.