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