ARM 기반 가상화 취약점 분석 자동화에 관한 연구
Towards Automated Vulnerability Analysis in ARM-based Virtualization
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
본 연구는 x86 아키텍처와 비교하여 ARM 기반 가상화 환경의 공격 표면을 체계적으로 분석하고, ARM 고유의 취약점을 식별하는 방법을 제시한다. 제안한 방법은 주소 변환 코드 추출, coverage 기반 퍼징 그리고 다층적 탐지의 세 단계로 구성된다. 특히 NV, TLB 등 저수준 메커니즘에대한 재현 가능한 계측 절차와 교차 검증 프레임워크를 마련하여 실무자가 ARM 환경에서 취약점을 빠르게 식별⋅확인할 수 있도록 한다. 이를KVM/arm64에 적용한 결과, ASID 매칭 오류와 TLB 무효화 범위 계산 오류의 두 가지 실제 취약점를 발견⋅재현하였다. 소규모 패치로 이를 해결하고, 제안한 관측 절차를 통해 수정 효과를 입증하여 ARM 가상화 취약점 분석의 실용적 방법을 제시하고자 한다.
Abstract
This study systematically analyzes the attack surface of ARM-based virtualization in comparison with x86 and proposes a methodologyfor identifying ARM-specific vulnerabilities. The methodology comprises three stages—extraction of address-translation, coverage-guidedfuzzing, and multi-layered detection. In particular, provides reproducible instrumentation procedures and a cross-validation frameworkfor low-level mechanisms such as NV and the TLB, enabling practitioners to rapidly detect and confirm issues in ARM environments. Applied to KVM/arm64, the methodology revealed and reproduced two concrete vulnerabilities: an ASID matching error and a TLBinvalidation-range calculation error. We addressed both with small patches and validated the fixes using the proposed observationprocedure, demonstrating a practical approach to vulnerability analysis in ARM virtualization.