Welcome to PLAS Lab. (Programming Languages and Systems Lab.)
Using compiler techniques, we analyze binary code and bytecode to detect and protect against vulnerabilities to defend against threats and uncover malicious behavior in malware on various types of architectures. Recently, we have been working on AI and deep learning techniques in addition to compiler techniques to analyze obfuscated binary code.
News!
2026
9/4 Wanju Kim was selected for the NRF Master's Student Research Grant Program. He will receive a monthly grant of 1,000,000 won (2026.9-2027.8)
축) 한국연구재단 석사과정생연구장려금지원사업 선정!
9/1 Hyungkun Jung and Joong-Hyun Choi's paper "Bayesian Estimation of Vessel Destination and Arrival Times (2018)" was cited in Transportation Research Part E: Logistics and Transportation Review, a Q1-ranked journal ("Development of a dynamic deep learning framework for the prediction of vessel arrival time to port", S. Jiang et. al, Sept. 2026)
8/5 The graduation project supervised by our lab received the Best Undergraduate Paper Award at the KCC (Korea Computer Congress)
“UEFISpear : Ghidra 기반 통합 UEFI DXE 취약점 분석기”, 김서웅, 문일광, 이용진, 황유민, 김동건, 한국컴퓨터종합학술대회, 학부생부문 장려상 수상
7/14 Hyeongchang Jeon's first-authored paper "Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator (2023)", was cited at the International Conference on Dependable Systems and Networks (DSN), a premier conference in dependable and secure computing (cited by Z. Feng and D. Xu "MBA-Sniffer: Rapidly Locating Mixed Boolean-Arithmetic Obfuscation in Binary Code", DSN, June, 2026)
6/17 Jeongwoo Kim's first-authored paper "Attention-Based Cross-Modal CNN Using Non-Disassembled Files for Malware Classification (2023)" was cited in Expert Systems with Applications, a Q1-ranked journal (cited by Z. Chen, Obfuscation-Resilient Malware Classification via Spatial Perception and Multi-Granular Attention Collaboration, June 2026)
5/20 Inwoo Jo and Wanju Kim's poster, "Poster: Transformer-Based Detection of Code Obfuscation Techniques Using Opcode Sequences", is presented at 19th IEEE International Conference on Software Testing, Verification and Validation (IEEE ICST) 2026, Daejeon, Republic of Korea
5/20 Seoksu Lee and Sangjun An's poster, "Poster: Automated Generation of a Broad Spectrum of MBA Expressions for Robust Deobfuscation Analysis", is presented at 19th IEEE International Conference on Software Testing, Verification and Validation (IEEE ICST) 2026, Daejeon, Republic of Korea
4/10 Sangjun An was selected for the “National Cryptography Expert Training Course (the 12th)” (축! 2026 국가 암호기술 전문인력 양성과정 12기 선정, 2026.4.-2026.10, Host: Korea Cryptography Forum/National Security Research Institute)
3/13 Jeongwoo Kim's first-authored paper "Attention-Based Cross-Modal CNN Using Non-Disassembled Files for Malware Classification (2023)" was cited in Computer Science Review (CSR), a Q1-ranked journal. (cited by M. Brosolo et al, "Security through the eyes of AI: How visualization is shaping malware detection, Computer Science Review, vol. 61, 100914, 2026)
3/4 Jeongwoo Kim's first-authored paper "Attention-Based Cross-Modal CNN Using Non-Disassembled Files for Malware Classification (2023)" was cited in Journal of Information Security and Applications, a Q1-ranked journal (cited by SM Ameyoud et al, Multi-modal malware classification with hierarchical consistency and saliency-constrained adversarial training, Journal of Information Security and Applications, vol. 99, 104429, 2026)
2/28 Jeongpil Park acquired Master's Degree. Congratulations! (박정필 석사 학위 축하합니다!)
2/09 Sooyeon Lee's first-authored paper "Lightweight extension of an execution environment for safer function calls in Solidity/Ethereum Virtual Machine smart contracts (2021)" was cited in JSS, a Q1-ranked journal. (cited by G. Luliano & D. Nucci. Smart Contract Vulnerabilities, Tools, and Benchmarks: an Updated Systematic Literature Review. Journal of Systems and Software, Feb. 2026)
2/2 Sangjun An's first-authored paper, "Static Detection of Core Structures in Tigress Virtualization Obfuscation Using an LLVM Pass", is published in Journal of The Korea Institute of Information Security and Cryptology (JKIISC, 한국정보보호학회 논문지), no.36 vol.1, Feb. 2026
1/30 Seoksu Lee's first-authored paper, "Toward Machine Learning Based Analyses on Compressed Firmware (2019)" was cited in RAID'25, one of the BK-listed oustanding conferences (cited by Z. Lei, "DeepFW: A DNN-Based Firmware Version Identification Framework for Online IoT Devices " in 2025 28th International Symposium on Research in Attacks, Intrusions and Defenses (RAID), Australia, Oct. 2025)
1/31 Seoyeon Kang's first-authored paper, "OBFUS: An Obfuscation Tool for Software Copyright and Vulnerability Protection (2021)" was cited in IEEE TDSC 2026 (cited by J. Martins et. al, "Detecting Vulnerabilities in Encrypted Software Code While Ensuring Code Privacy", IEEE Transactions on Dependable and Secure Computing vol 23. no. 4, Jan 2026)
1/15 Hyungchang Jeon's first-authored paper, "An Enhanced Approach for Detecting Complex Opaque Predicates (2025)" was cited in IEEE TIFS, a Q1-ranked journal. (cited by J. Tang, et. al, "MCLPF: Malware Collaborative Detection with LLM-Enhanced Pruning for Attributed Interpretable Flow Graphs," in IEEE Transactions on Information Forensics and Security, vol. 21, pp. 460-475, 2026)
2025
12/11 Patent registered (히스토그램기반의 난독화 기법 식별 시스템 및 방법) , (출원 10-2022-0189563 (22/12/29), 특허 등록 (25/12/))
12/7 Joon-Young Paik and Joong-Hyun Choi's paper "A Storage-level Detection Mechanism against Crypto-Ransomware" (ACM CCS'18 poster) was cited by NeurIPS'2025 poster (cited by B. Bringoltz et. al, "CLEAR: Command Level Annotated Dataset for Ransomware Detection")
10/23 Patent registered (비선형 MBA 난독화 데이터를 단순화하는 전자 장치 및 방법), (출원 10-2022-0151321 (22/11/14), 특허 등록 10-2877364 (25/10/23))
8/31 Youjeong Roh acquired Master's Degree. Congratulations! (노유정 석사 학위 축하합니다!)
8/25 Patent Registered (동적 정책 기반 스마트 컨트랙트 개인정보보호 방법 및 시스템) (출원 10-2023-0016591 (23/2/8), 특허 등록 10-2852086 (25/8/25))
7/31 Prof. Cho has been invited to Dagstuhl Seminar (26022) in Jan. 2026.
7/8 Patent Registered (악성코드 패밀리 학습장치 및 이를 이용한 악성코드 패밀리 식별장치) (출원10-2022-0189564(22/12/29), 특허 등록 10-2832596(25/7/7))
6/19 Our lab won the Outstanding Paper Award (Journal Publication), achieving first place in the Systems, Theory and Security category from the Korean Institute of Information Scientists and Engineers (KIISE) at the 2025 Korea Computer Congress (KCC2025) (축, 한국정보과학회 논문지 2025년 CST 분야 우수논문상 수상!)
수상 논문: "Neural Networks using Opcode Frequency to Identify Combinations of Obfuscation Techniques (난독화 기법의 조합을 파악하는 Opcode 출현 빈도 기반 신경망), Youjeong Noh, Jeongwoo Kim and E.-S. Cho, Journal of KIISE (정보과학회 논문지, 시스템 및 보안), vol.51 no.4, 2024
5/16 Youjeong Roh's first-authored paper, "gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures", co-supervised by Prof. J. Kwon and Dr. J. Paik, has been accepted for the 2025 ACL Findings (Findings of the Association for Computational Linguistics), Vienna, Austria, July.
4/18 Hyungchang Jeon's first-authored paper, "An Enhanced Approach for Detecting Complex Opaque Predicates", has been accepted for full-paper presentation at 2025 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC), Toronto, Canada, July.
4/18 Wanju Kim's first-authored paper, "A Lightweight Classifier for Identifying Obfuscation Methods for IoT Devices" has been accepted for short-paper presentation at 2025 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC), Toronto, Canada, July.
2/28 Hyungchang Jeon acquired Master's Degree. Congratulations! (전형창 석사 학위 축하합니다!)
2/19 Youjeong Roh won first place in the 2024-2025 IITP-CMU Training Program in US! (IITP-CMU 연수 프로그램에서 참가자 중 정규교과목 성적 최우수상, 축하합니다!)
2/14 Jeongpil Park's first-authored paper, "WeBMO: Bitwise Memory Operation based Data Obfuscation for WebAssembly" was cited in Computer Science Review (CSR), a Q1-ranked journal. (cited by G. Perrone, S. P. Romano, WebAssembly and security: A review, Computer Science Review, Vol. 56, 2025, 100728, ISSN 1574-0137.)