Publications

2026

Youngseok Kim, Sungho Lee, and Sungjae Hwang, "How Safe is Your Screen? Understanding and Detecting Privacy Leaks in Sensitive Activities," In Proceedings of the 35th SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), October 2026
백소연 and 이성호, "위성 소프트웨어 대상 정적 분석 도구 적용의 한계와 개선점," In 정보과학회논문지(JOK), May 2026
Sanghwa Lee and Sungho Lee, "Survey into Trends in Android App Development and Static Analysis," In IEEE Access, April 2026
Soyeon Baek and Sungho Lee, "Deobfuscation of Control Flow Flattening based on Abstract Interpretation," In IEEE Transactions on Software Engineering (TSE), March 2026

2025

안우진, 최호정, 최승윤, 김도현, and 이성호, "NAVI: Clang AST 변환 기반 C/C++ 자연스러운 취약점 삽입 도구," In 정보과학회(KSC) 학부생논문, December 2025 학부생부문 장려상
정민경 and 이성호, "모듈화 분석 기반 교차 타입을 사용한 Python 정적 타입 분석," In 정보과학회(KSC), December 2025 우수논문상
안유진 and 이성호, "리프터가 생성한 LLVM-IR의 분석 적합도 향상 기법," In 정보과학회(KSC), December 2025
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
Mingyeong Jeong and Sungho Lee, "Type Checking for Python Using Intersection Types," In Companion Proceedings of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH-Companion, poster), October 2025
Yujin An and Sungho Lee, "Simplifying Lifter-generated Emulation Style LLVM IR for Analysis Suitability," In Companion Proceedings of the ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications - Software for Humanity (SPLASH-Companion, poster), October 2025
이상화 and 이성호, "바이너리의 Jimple 변환을 통한 Flutter 안드로이드 앱 대상 정적 오염 분석," In 정보보호학회논문지(JKIISC), October 2025
김한누리 and 이성호, "안드로이드 앱의 정적 분석 결과 재현을 위한 이벤트 발생 순서 생성 기법," In 정보과학회(KCC), July 2025
백소연 and 이성호, "NASA cFS 대상의 오픈소스 정적 분석 도구 적용 및 성능 분석," In 우주학술대회, June 2025
Yusung Sim, Wonho Shin, and Sungho Lee, "Automated Code Transformation for Distributed Training of TensorFlow Deep Learning Models," In Science of Computer Programming (SCP), May 2025

2024

안유진, 김태현, 편고운, and 이성호, "난독화된 코드에 대한 거대 언어 모델의 코드 클론 탐지 성능 실험 및 분석," In 정보과학회(KSC), December 2024
백소연 and 이성호, "LLVM IR 대상 정적 분석의 요약 값 정제를 위한 조건 분기의 불변식 추출," In 정보과학회 컴퓨팅의 실제 논문지(KTCP), October 2024
Soyeon Baek and Sungho Lee, "CaLLi: OCaml Library for Static Analysis of LLVM bitcode," In SoftwareX, September 2024
용예원, 김태훈, 이성호, and 김창대, "상용 시스템에서 구동 가능한 소프트웨어 기반의 안전한 분리 메모리 시스템," In 정보과학회논문지(JOK), September 2024
정민경 and 이성호, "파이썬 프로그램 대상의 정적타입 검사기 비교·분석," In 정보과학회(KCC) 학부생논문, June 2024 학부생부문 최우수상
Sungjae Hwang, Sungho Lee, and Sukyoung Ryu, "An Empirical Study of JVMs' Behaviors on Erroneous JNI Interoperations," In IEEE Transactions on Software Engineering (TSE), March 2024

2023

백소연 and 이성호, "LLVM IR 대상 정적 분석의 요약 값 정제를 위한 조건 분기의 불변식 추출," In 정보과학회(KSC), December 2023 Distinguished Presentation Paper Award
한정경, 김용일, and 이성호, "Culry: C/C++ 소스코드 수준 기록-재현 도구," In 정보과학회(KSC), December 2023
Dongjun Youn, Sungho Lee, and Sukyoung Ryu, "Declarative Static Analysis for Multilingual Programs using CodeQL," In Software: Practice and Experience (SPE), July 2023
Jihee Park*, Sungho Lee*, Jaemin Hong, and Sukyoung Ryu, "Static Analysis of JNI Programs via Binary Decompilation," In IEEE Transactions on Software Engineering (TSE), May 2023 (* denotes co-first authors)
Jikang Shin, Sungho Lee, Hojin Seo, Jeong-Seon Im, Hee Cho, and Myeong-Ha Hwang, "EnterRPA: Open-Source Robotic Process Automation for Enterprise," In The Transactions of the Korean Institute of Electrical Engineers, March 2023

2022

이예성, 백소연, and 이성호, "REcode: 프로그램 분석 도구를 쉽게 적용할 수 있는 VS Code 확장 플러그인," In 정보과학회(KSC) 학부생논문, December 2022
용예원, 이성호, and 김창대, "커널 수준 차세대 메모리 성능 에뮬레이터," In 정보과학회(KSC), December 2022

Before 2022

서성덕, 백소연, and 이성호, "LLVM 기반의 최적화 기법을 통한 바이너리 역난독화," In 정보과학회(KSC) 학부생논문, December 2021
이성호, "다중언어 프로그램 대상의 정적분석 연구 동향," In 정보과학회지 특집원고, May 2021
Sungjae Hwang, Sungho Lee, and Sukyoung Ryu, "JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs," In Proceedings of the 43rd International Conference on Software Engineering (ICSE), May 2021
Sungho Lee, Hyogun Lee, and Sukyoung Ryu, "Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis," In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2020 ACM SIGSOFT Distinguished Paper Award
Sungjae Hwang, Sungho Lee, and Sukyoung Ryu, "All about Activity Injection: Threats, Semantics, Detection, and Defense," In Software: Practice and Experience (SPE), 2020
Sungho Lee and Sukyoung Ryu, "Adlib: Analyzer for Mobile Ad Platform Libraries," In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), July 2019
Sungho Lee, "JNI Program Analysis with Automatically Extracted C Semantic Summary," In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis Doctoral Symposium track (ISSTA DS), July 2019
Sora Bae, Sungho Lee, and Sukyoung Ryu, "Towards Understanding and Reasoning about Android Interoperations," In Proceedings of the 41st International Conference on Software Engineering (ICSE), May 2019
Sungho Lee, Sungjae Hwang, and Sukyoung Ryu, "All about Activity Injection: Threats, Semantics, and Detection," In Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2017
Sungho Lee, Julian Dolby, and Sukyoung Ryu, "HybriDroid: Static Analysis Framework for Android Hybrid Applications," In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2016
Sungjae Hwang, Sungho Lee, Yongdae Kim, and Sukyoung Ryu, "Bittersweet ADB: Attacks and Defenses," In Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security (ASIACCS), April 2015
Sungho Lee and Taisook Han, "A Dynamic Approach to Extract the Original Semantics and Structure of VM-based Obfuscated Binary Executables," In Journal of KIISE, Vol.41, No.10, pp.859-869, 2014