| HybriDroid: static analysis framework for Android hybrid applications S Lee, J Dolby, S Ryu Proceedings of the 31st IEEE/ACM international conference on automated …, 2016 | 98 | 2016 |
| Broadening horizons of multilingual static analysis: Semantic summary extraction from C code for JNI program analysis S Lee, H Lee, S Ryu Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 39 | 2020 |
| Bittersweet adb: Attacks and defenses S Hwang, S Lee, Y Kim, S Ryu Proceedings of the 10th ACM Symposium on Information, Computer and …, 2015 | 28 | 2015 |
| Towards understanding and reasoning about android interoperations S Bae, S Lee, S Ryu 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 21 | 2019 |
| Justgen: Effective test generation for unspecified JNI behaviors on jvms S Hwang, S Lee, J Kim, S Ryu 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 20 | 2021 |
| Adlib: Analyzer for mobile ad platform libraries S Lee, S Ryu Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 13 | 2019 |
| Declarative static analysis for multilingual programs using CodeQL D Youn, S Lee, S Ryu Software: Practice and Experience 53 (7), 1472-1495, 2023 | 12 | 2023 |
| Static analysis of jni programs via binary decompilation J Park, S Lee, J Hong, S Ryu IEEE Transactions on Software Engineering 49 (5), 3089-3105, 2023 | 12 | 2023 |
| All about activity injection: threats, semantics, and detection S Lee, S Hwang, S Ryu 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 12 | 2017 |
| All about activity injection: Threats, semantics, detection, and defense S Hwang, S Lee, S Ryu Software: Practice and Experience 50 (7), 1061-1086, 2020 | 7 | 2020 |
| JNI program analysis with automatically extracted C semantic summary S Lee Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 7 | 2019 |
| An Empirical Study of JVMs’ Behaviors on Erroneous JNI Interoperations S Hwang, S Lee, S Ryu IEEE Transactions on Software Engineering, 2024 | 1 | 2024 |
| 다중언어 프로그램 대상의 정적분석 연구 동향 이성호 정보과학회지 39 (5), 16-23, 2021 | 1 | 2021 |
| LLVM IR 대상 정적 분석의 요약 값 정제를 위한 조건 분기의 불변식 추출 백소연， 이성호 정보과학회 컴퓨팅의 실제 논문지 30 (10), 519-524, 2024 | | 2024 |
| CaLLi: OCaml library for static analysis of LLVM bitcode S Baek, S Lee SoftwareX 27, 101810, 2024 | | 2024 |
| EnterRPA: Open-Source Robotic Process Automation for Enterprise J Shin, S Lee, H Seo, JS Im, H Cho, MH Hwang 전기학회논문지 72 (3), 419-427, 2023 | | 2023 |
| A Dynamic Approach to Extract the Original Semantics and Structure of VM-based Obfuscated Binary Executables S Lee, T Han Journal of KIISE 41 (10), 859-869, 2014 | | 2014 |
