Publications

Hannuri Kim and Sungho Lee, Toward Automated Verification of Static Analysis Results of Android Applications, In Companion Proceedings of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH-Companion, poster), October 2025
김한누리 and 이성호, 안드로이드 앱의 정적 분석 결과 재현을 위한 이벤트 발생 순서 생성 기법, In 정보과학회(KCC), July 2025