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).ย
"์๋ก ๋ค๋ฅธ ์ธ์ด๋ก ๋ ๋ ์ฝ๋์ ์๋ฏธ ๋์ผ์ฑ ๊ฒ์ฌ ๋๊ตฌ," ์ ์ ๊ท , ๋ฐฑ์ ๋ฏธ, ์ดํ์ฐ, ํ๊ตญ์ํํธ์จ์ด์ข ํฉํ์ ๋ํ, ํ๋ถ์๋ถ๋ฌธ ์ฐ์๋ ผ๋ฌธ์ ์์ (์ถํํฉ๋๋ค!)