Publications

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

2021

서성덕, 백소연, 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

2020

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

Before 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