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!
2025
6/19 Our lab received 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, is 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", is 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" is accepted for short-paper presentation at 2025 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC), Toronto Canada, July.
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" is cited in Computer Science Review (CSR), one of the Q1-ranked computer science journals.
cited by Gaetano Perrone, Simon Pietro Romano, WebAssembly and security: A review, Computer Science Review, Vol. 56, 2025, 100728, ISSN 1574-0137,https://doi.org/10.1016/j.cosrev.2025.100728.
2024
11/28 Seoksu Lee's first-authored paper, "Toward Machine Learning Based Analyses on Compressed Firmware" (STPSA@IEEE COMPSAC 2019), is cited by a recent article in IEEE Internet of Things Journal, Nov. 2024 ( P. Sun et al., "A Survey of IoT Privacy Security: Architecture, Technology, Challenges, and Trends" )
11/4 Seoyeon Kang's first-authored paper, "Program synthesis-based simplification of MBA obfuscated malware with restart strategies" (CheckMATE@ACM CCS 2022), is cited by a recent article in ACM Computing Survey Nov. 2024 (Bjorn De Sutter et al., "Evaluation Methodologies in Software Protection Research").
11/2 Seoyeon Kang's first-authored paper, "Obfus: An obfuscation tool for software copyright and vulnerability protection, " presented at ACM Conference on Data and Application Security and Privacy (ACM CODASPY) 2021, is cited by a recent article in ACM Transactions on Software Engineering and Methodology, Nov. 2024 (V. Majdinasab et. al, "Trained Without My Consent: Detecting Code Inclusion In Language Models Trained on Code")
10/15 Seoksu Lee's first-authored poster paper is presented at ACM Conference on Computer and Communications Security (ACM CCS) Oct. 2024, Salt Lake City, USA.
"E-Graphs and Equality Saturation for Term-Rewriting in MBA Deobfuscation: An Empirical Study", S. Lee, H. Jeon, and E.-S. Cho
8/29 Jungpil Park was selected for the NRF Master's Student Research Grant Program. He will receive a monthly grant of 1,000,000 won (2024.9-2025.8)
(축) 한국연구재단 석사과정생연구장려금지원사업 선정! (click)
7/16 Hyeongchang Jeon's first-authored paper is published in KIISE Transactions on Computing Practice (한국정보과학회 논문지 컴퓨팅및실제 게재)
Mixed Boolean Arithmetic 역난독화를 지원하는 오라클 기반의 효율적인 Opaque Predicate 탐지 기법(Oracle-guided Efficient Opaque Predicate Detection with Mixed Boolean Arithmetic Deobfuscation), vol.51 no.7 Hyeongchang Jeon, Seoksu Lee, Seoyeon Kang and Eun-Sun Cho
7/3 Jeongpil Park's work is presented at the 48th IEEE COMPSAC Osaka, Japan, July, 2024 (Student Research Symposium Session)
"WeBMO: Bitwise Memory Operation based Data Obfuscation for WebAssembly", Jeongpil Park and Eun-Sun Cho
7/3 Hyeongchang Jeon' s work is presented at the 48th IEEE COMPSAC Osaka, Japan, July, 2024 (Fast Abstract Session)
"Dynamic Opaque Predicate Detection with a Recursive Matching Method", Hyeongchang Jeon and Eun-Sun Cho
6/28 Yoojung Noh's paper as first author won the Best Paper Award at the 4th AAiCON2024 Conference on Practical AI
"Malware deobfuscation using AI", Y. Noh, J.-Y. Paik, G. Lee. S. W. Lee, and E.-S. Cho
5/24 Patent Registered (국내 특허 등록 10-26706470000 ), 스마트 컨트랙트 개인정보보호 방법 및 이를 이용한 시스템, E.-S. Cho et. al
4/26 Jungpil Park was selected for the “National Cryptography Expert Training Course (the 10th)” (축! 2024 국가 암호기술 전문인력 양성과정 10기 선정, 2024.5.-2024.10, Host: Korea Cryptography Forum/National Security Research Institute)
4/15 Youjeong Noh's first-authored paper is published in Journal of KIISE (Computer Systems and Theory) . (한국정보과학회 논문지 시스템및보안 게재)
"Neural Networks using Opcode Frequency to Identify Combinations of Obfuscation Techniques (난독화 기법의 조합을 파악하는 Opcode 출현 빈도 기반 신경망), vol.51 no.4 Youjeong Noh, Jeongwoo Kim and E.-S. Cho
3/28 Youjeong Noh has been selected for 2024 IITP-CMU Training Program
축! 2024 IITP-CMU AI 집중 교육 프로그램 파견 교육 선발, 2024.9~2025.2 (6개월간 연수), 미국 Carnegie Mellon Univ.
2 /1 The graduation project supervised by our lab received the Best Undergraduate Paper Award at the KSC (Korea Software Congress).
"서로 다른 언어로 된 두 코드의 의미 동일성 검사 도구," 유정균, 백유미, 이혜연, 한국소프트웨어종합학술대회, 학부생부문 우수논문상 수상 (축하합니다!)