Publications

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), To appear

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