"Static Detection of Core Structures in Tigress Virtualization Obfuscation Using an LLVM Passย (LLVM Pass๋ฅผ ํ์ฉํ Tigress ๊ฐ์ํ ๋๋ ํ ํต์ฌ ๊ตฌ์กฐ ์ ์ ํ์ง ๋ฐฉ๋ฒ)", Sangjun An, Seoksu Lee and Eun-Sun Cho, Journal of The Korea Institute of Information Security and Cryptology (JKIISC) ์ ๋ณด๋ณดํธํํ๋ ผ๋ฌธ์ง , vol. 36, no.1, 2026
"gMBA: Expression Semantic Guided Mixed Boolean-Arithmetic Deobfuscation Using Transformer Architectures", co-supervised by Youjeong Roh, Joon-Young Paik, Jingun Kwon and Eun-Sun Cho, the 2025 ACL Findings (Findings of the Association for Computational Linguistics), Vienna, Austria, July, 2025
"An Enhanced Approach for Detecting Complex Opaque Predicates", Hyungchang Jeon, Seoksu Lee and Eun-Sun Cho,ย IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC), Toronto, Canada, July 2025
"A Lightweight Classifier for Identifying Obfuscation Methods for IoT Devices", Wanju Kim, Youjeong Roh, Seoksu Lee and Eun-Sun Cho, IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC), Toronto, Canada, July 2025
"ObfusTree: ๊ตฌ์กฐ์ ๋ณํ์ ํตํ ๊ตฌ๋ฌธ ์์ค ์ฝ๋ ๋๋ ํ๋๊ตฌ", ์กฐ์ธ์ฐ, ์์ง์ , ๋ ธํ์ฐ, ์กฐ์์ , ํ๊ตญ์ ๋ณด๋ณดํธํํ ํ๊ณํ์ ๋ํ, 2025. 6
"๋ฐ์ด๋๋ฆฌ ํ๋ก๊ทธ๋จ์์ ๋๋ ํ ์ ์ด ๊ตฌ์กฐ๋ฅผ ์๋ณํ๋ LLM ๋ชจ๋ธ", ๋ฐํ์ฐ, ์์์ง, ์์์ค, ์กฐ์์ , ํ๊ตญ์ ๋ณด๋ณดํธํํ ํ๊ณํ์ ๋ํ, 2025. 6
"AI ์คํ ๋ฐ ๋ฐ์ดํฐ ๋ณดํธ๋ฅผ ์ํ AST ํจํด๋งค์นญ ํ์ฉ ๋๋ ํ ๋๊ตฌ", ์์์ค, ๋ฐํ์ฐ, ์ด์์, ๋ ธ์ ์ , ์กฐ์์ , ํ๊ตญ์ ๋ณด๋ณดํธํํ ํ๊ณํ์ ๋ํ, 2025. 6
"E-Graphs and Equality Saturation for Term-Rewriting in MBA Deobfuscation: An Empirical Study ", ย Seoksu Lee, Hyeongchang Jeon,ย Eun-Sun Cho, The ACM Conference on Computer and Communications Security (ACM CCS), poster, Oct. 2024
"Oracle-guided Efficient Opaque Predicate Detection with Mixed Boolean Arithmetic Deobfuscation (Mixed Boolean Arithmetic ์ญ๋๋ ํ๋ฅผ ์ง์ํ๋ ์ค๋ผํด ๊ธฐ๋ฐ์ ํจ์จ์ ์ธ Opaque Predicate ํ์ง ๊ธฐ๋ฒ)",ย Hyeongchang Jeon, Seoksu Lee, Seoyeon Kang and Eun-Sun Cho, KIISE Transactions on Computing Practice (์ ๋ณด๊ณผํํ ๋ ผ๋ฌธ์ง ์ปดํจํ ๋ฐ์ค์ ), vol.51ย no.7,ย 2024
"WeBMO: Bitwise Memory Operation based Data Obfuscation for WebAssembly", Jeongpil Park,ย Eun-Sun Cho , Student Research Symposium (SRS 2024) at the 48th IEEE COMPSAC, Osaka, Japan, July, 2024
ย "Dynamic Opaque Predicate Detection with a Recursive Matching Method", Hyeongchang Jeon,ย Seoksu Lee, Eun-Sun Cho, Fast Abstract at the 48th IEEE COMPSAC, Osaka, Japan, July, 2024
"Malware deobfuscation using AI",ย Y. Noh, J.-Y. Paik, G. Lee. S. W. Lee, and E.-S. Cho, the 4th AAiCON2024 Conference on Practical AI, Jun. 2024 Best paper awarded!
"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
"Simplifying MBA Expression Using E-Graphs", S. Lee, H. Jeon, E.-S. Cho, arXiv preprint arXiv:2404.05431, Apr. 2024
ย "Simplification of Executable Code Obfuscated by Bitwise Memory Operations (Bitwise Memory Operation ์ผ๋ก ๋๋ ํ๋ ์คํ ์ฝ๋ ๋จ์ํ)," Jeongpil Park, Seoksu Lee and E.-S. Cho, KSC 2023 (ํ๊ตญ์ ๋ณด๊ณผํํ ์ํํธ์จ์ด ์ข ํฉํ์ ๋ํ), Dec. 20th, 2023
"Assessing Opaque Predicates: Unveiling the Efficacy of Popular Obfuscators with a Rapid Deobfuscator," Hyeongchang Jeon, Seoyeon Kang, Seoksu Lee, E.-S. Cho, APSEC 2023 poster session, Dec. 5th, 2023ย
"Metadata-based type analysis method to improve productivity of MyBatis development (MyBatis ๊ฐ๋ฐ ์์ฐ์ฑ ํฅ์์ ์ํ ๋ฉํ๋ฐ์ดํฐ ๊ธฐ๋ฐ์ ํ์ ๋ถ์ ๊ธฐ๋ฒ )", Chang-Won Choeย and Eun-Sun Cho, ์ ๋ณด๊ณผํํ ๋ ผ๋ฌธ์ง(Journal of KIISE) ์ปดํจํ ๋ฐ์ค์ (CPL), Vol.29, No.7, Jul. 2023
"Mixed Boolean Arithmetic ์ญ๋๋ ํ๋ฅผ ์ง์ํ๋ Oracle ๊ธฐ๋ฐ์ ํจ์จ์ ์ธ Opaque Predicate ํ์ง ๊ธฐ๋ฒ", Hyeongchang Jeon, Seoyeon Kang, Seoksu Lee and Eun-Sun Cho, ย KIISE KCC (ํ๊ตญ์ ๋ณด๊ณผํํ ์ปดํจํฐ์ข ํฉํ์ ๋ํ) Jun. 2023
"๋๋ ํ ๊ธฐ๋ฒ์ ์กฐํฉ์ ํ์ ํ๋ ๋ช ๋ น ์ฝ๋ ๋น๋ ๊ธฐ๋ฐ ์ ๊ฒฝ๋ง", Youjeong Noh, Jeongwoo Kim and Eun-Sun Cho, KIISE KCC (ํ๊ตญ์ ๋ณด๊ณผํํ ์ปดํจํฐ์ข ํฉํ์ ๋ํ) Jun. 2023 ์ฐ์๋ ผ๋ฌธ์ Awarded!
"A Ghidra-based crash triaging tool for binary code", Seong-Kyun Mok, Youjeong Noh and Eun-Sun Cho, KIISE KCC (ํ๊ตญ์ ๋ณด๊ณผํํ ์ปดํจํฐ์ข ํฉํ์ ๋ํ) Jun. 2023ย
"Feature Engineering Using File Layout for Malware Detection", Jeongwoo Kim, Eun-Sun Cho and Joon-Young Paik, arXiv:2304.02260, https://doi.org/10.48550/arXiv.2304.02260, Apr. 2023
"Attention-based Cross-modal CNN using Non-disassembled Files for Malware Classification",ย Jeongwoo Kim, Eun-Sun Cho and Joon-Young Paik, IEEE Access, vol. 11, pp 22889 - 22903, Mar. 2023
"L4 Pointer: An efficient pointer extension for spatial memory safety support without hardware extension", Seong-Kyun Mok and Eun-Sun Cho,ย arXiv:2302.06819, https://doi.org/10.48550/arXiv.2302.06819, Feb. 2023
"์๋๋ก์ด๋ ํ๋ ์์ํฌ๋ฅผ ์ํ ์๋ํ๋ ์ฝ๋์ค๋ฉ ํ์ง ๋๊ตฌ", ์ค๋์ค,ย ์ ํ์ฐฝ,ย ๊น๋ฏผ์ฑ, ์ด์์, ์กฐ์์ , ํ๊ตญ์ํํธ์จ์ด์ข ํฉํ์ ๋ํ KSC (Korea Software Congress), Dec. 2022 (ํ๋ถ์ ๋ถ๋ฌธ, poster)
"Chex: ๋ฉ๋ชจ๋ฆฌ ์ทจ์ฝ์ ์์ธ์ฒ๋ฆฌ๋ฅผ ์ง์ํ๋ C์ธ์ด ํ์ฅ", ๋ ธ์ ์ ,ย ์ด์ฃผ์,ย ๋ชฉ์ฑ๊ท ,ย ์กฐ์์ , ํ๊ตญ์ํํธ์จ์ด์ข ํฉํ์ ๋ํ KSC (Korea Software Congress), Dec. 2022 (ํ๋ถ์ ๋ถ๋ฌธ, poster)
"์๋๋ฌด์ธ์ด: ํธ๋ฆฌํ ์ค๋งํธ ์ปจํธ๋ํธ ์ฌ์ฉ์ ์ํ ํ๊ธ ์ธ์ด", ๋ฐ์ ํ,ย ํ์ํ,ย ์ ์ง์,ย ์กฐ์์ , ํ๊ตญ์ํํธ์จ์ด์ข ํฉํ์ ๋ํ KSC (Korea Software Congress), Dec. 2022 (ํ๋ถ์ ๋ถ๋ฌธ, poster)
"Program synthesis-based simplification of MBA obfuscated malware with restart strategies", Seoyeon Kang, ย Jeong-Woo Kim, Eun-Sun Cho and Seokwoo Choi, The Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks Workshop (CheckMate) at ACM CCS, Nov. 2022
"A program synthesis based simplifier for MBA obfuscation (ํ๋ก๊ทธ๋จ ํฉ์ฑ๊ธฐ๋ฐ MBA ๋๋ ํ ํด์ ๋๊ตฌ)", Seoyeon Kang, Jeongwoo Kim, Jonghwan Yang and Eun-Sun Cho, ์ ๋ณด๊ณผํํ ๋ ผ๋ฌธ์ง(Journal of KIISE) ์ปดํจํ ๋ฐ์ค์ (CPL), Vol.28, No. 9, Sep. 2022
"SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis," Seoungkyun Mok, Seoyeon Kang, Eun-Sun Cho and Seokwoo Choi, arXiv:2208.05612v1, 11 Aug, 2022
"MyBatis ๊ฐ๋ฐ ์์ฐ์ฑ ํฅ์์ ์ํ ๋ฉํ๋ฐ์ดํฐ ๊ธฐ๋ฐ์ ํ์ ๋ถ์ ๊ธฐ๋ฒ(Metadata-based type analysis method to improve productivity of MyBatis development) ", ์ต์ฐฝ์, ์กฐ์์ , ์ ๋ณด๊ณผํํ ํ๊ณํ์ ๋ํ (KCC) Korea Computer Congress, KIISE 6. 29, 2022 (poster), awarded paper (์ฐ์๋ฐํ๋ ผ๋ฌธ์)
"Runtime Buffer Over Flow Detection using LLVM Pass (LLVM Pass๋ฅผ ํตํ Runtime Buffer Overflow ํ์ง)",ย Youjeong Noh, Juyeong Lee, Seoungkyun Mok and Eun-Sun Cho, Conference on Information Security and Cryptography Summer ํ๊ตญ์ ๋ณด๋ณดํธํํ ํ๊ณํ์ ๋ํ (CISC-S), Jun, 2022
"Application of EVM bytecode rewriter for runtime safety ofย smart contracts", Jisoo Kim, Eun-Sun Cho, IEEE Symposium on Security and Privacy (short talk), May 2022ย
"L4 (Long Long Long Long) Pointer to Prevent Buffer Overflow", Seong Kyun Mok, Eun-Sun Cho, IEEE Symposium on Security and Privacy (poster), May 2022
"Malware classification using a byte-granularity feature based on structural entropy", Joon-Young Paik, Rize Jin, Eun-Sun Cho, Computational Intelligence, Vol. 38 No.2, Wiley, doi:10.1111/coin.12521, Apr. 2022
"Stone: A Privacy Policy Enforcement System for Smart Contracts ", Jihyeon Kim, Dahyeon Jeong, Jisoo Kim and Eun-Sun Cho, the 5th International IEEE Workshop on Blockchain Oriented Software Engineering (BOSE), held within IEEE SANER, Mar. 2022
"Byte Frequency based Indicators for Crypto-Ransomware Detection from Empirical Analysis", Geun Yong Kim, Joon-Young Paik, Yeongcheol Kim, and Eun-Sun Cho, Journal of Computer Science and Technology (JCST), Vol. 37 No. 2, ย pp423-442, Springer, doi: 10.1007/s11390-021-0263-x , Mar. 2022
"Attention-based Crossmodal Convolutional Neural Network (์ ์ฑ์ฝ๋ ๋ถ๋ฅ๋ฅผ ์ํ ์ดํ ์ ๊ธฐ๋ฐ์ ํฌ๋ก์ค๋ชจ๋ฌ Convolutional Neural Network)", Jeong-Woo Kim, Joon-Young Paik and Eun-Sun Cho, ํ๊ตญ์ํํธ์จ์ด์ข ํฉํ์ ๋ํ KSC (Korea Software Congress), Dec. 2021, Best paper awarded (์ต์ฐ์๋ ผ๋ฌธ์)
"An MBA expression simplification tool based on program synthesis (ํ๋ก๊ทธ๋จ ํฉ์ฑ์ ํ์ฉํ MBA ํํ ๊ฐ์ํ ๋๊ตฌ)", Seoyeon Kang, Jonghwan Yang and Eun-Sun Cho, ํ๊ตญ์ํํธ์จ์ด์ข ํฉํ์ ๋ํ KSC (Korea Software Congress), Dec. 2021, Awarded paper (์ฐ์๋ฐํ๋ ผ๋ฌธ์)
"Dystone: Program Analysis-Based Privacy Enhancement System for Smart Contracts" Dahyeon Jeong, Jihyeon Kim, Jisoo Kim and Eun-Sun Cho, ACSAC 2021 Work-in-Progress Talk (peer reviewed), Dec. 2021.ย
"Support for the safety of EVM bytecode via function-call interceptor", Jisoo Kim and Eun-Sun Cho, IEEE International Workshop on Blockchain and Smart Contracts, IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C), pp. 676-684, Dec. 2021.
"A study on dynamic analysis tools for smart contract vulnerability detection and protection", Jisoo Kim and Eun-Sun Cho, CISC-W'21 (ํ๊ตญ์ ๋ณด๋ณดํธํํ ๋๊ณํ์ ๋ํ), Nov. 2021ย
"A Bidirectional Static Dataflow Analysis between Java Interfacing Points and C/C++ Vulnerable Points for Detecting and Leveling Severity of Vulnerabilities in Android Media Framework (์๋๋ก์ด๋ ๋ฏธ๋์ด ํ๋ ์์ํฌ ์ทจ์ฝ์ ๊ฒ์ถ ๋ฐ ๋ถ๋ฅ๋ฅผ ์ํ Java ์ฐ๊ฒฐ์ง์ ๊ณผ C/C++ ์ทจ์ฝ์ง์ ๊ฐ์ ์๋ฐฉํฅ ์๋ฃํ๋ฆ ์ ์ ๋ถ์)," ย Hyunji Jung, Seong-Kyun Mok, Eun-Sun Cho, ํ๊ตญ์ ๋ณด๊ณผํํ๋ ผ๋ฌธ์ง(Journal of KIISE) ์ปดํจํ ๋ฐ์ค์ (CPL), vol.27, no.10, Oct. 2021
"iRF: Integrated Red Team Framework for Large-Scale Cyber Defense Exercise (iRF: ๋๊ท๋ชจ ์ฌ์ด๋ฒ ๋ฐฉ์ด ํ๋ จ์ ์ํ ํตํฉ ๋ ๋ํ ํ๋ ์์ํฌ)," In Sook Jang and Eun-Sun Cho, ํ๊ตญ์ ๋ณด๋ณดํธํํ๋ ผ๋ฌธ์ง(Journal of Journal of The Korea Institute of Information Security & Cryptology), vol. 31, no. 5, Oct. 2021
"LOM:ย Lightweight classifier for obfuscation methods", Jeong-Woo Kim, Seoyeon Kang, Eun-Sun Cho, Joon-Young Paik, The 22nd World Conference on Information Security Applications (WISA'21), Aug. 2021, Jeju Island, Korea, accepted for publication (acceptance rate = %38.7) Best paper awarded
"Histogram-based neural network for discrimination of obfuscation methods (๋๋ ํ ๊ธฐ๋ฒ ํ๋ณ์ ์ํ ๋ช ๋ น ์ฝ๋ ํ์คํ ๊ทธ๋จ๊ธฐ๋ฐ์ ์ ๊ฒฝ๋ง), Jeong-Woo Kim, ย Seoyeon Kang, Joon-Young Paik and Eun-Sun Cho, ํ๊ตญ์ปดํจํฐ์ข ํฉํ์ ๋ํ (KCC), July, 2021
"์ค๋งํธ ์ปจํธ๋ํธ์ ์ทจ์ฝ์ ํ์ง ๋ฐ ๋ฐฉ์ด๋ฅผ ์ํ ๋์ ๋ถ์ ๋๊ตฌ ํํฉ",ย ๊น์ง์ ์กฐ์์ , ํ๊ตญ์ ๋ณด๋ณดํธํํ ํ๊ณํ์ ๋ํ, June, 2021
"OBFUS: Obfuscation tool for software copyright and vulnerability protection", Seoyeon Kang, Sujeong Lee, Yumin Kim, Seong-Kyun Mok and Eun-Sun Cho, Proceedings of the Eleventh ACM Conference on Data and Application Security and Privacy (ACM CODASPY โ21), Apr. 2021, (poster)
"Lightweight extension of an execution environment for safer function calls in Solidity/EVM smart contracts", Sooyeon Lee, Eun-Sun Cho, 4th International Workshop on Emerging Trends in Software Engineering for Blockchain (IWBOSE) @ 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (IEEE SANER), Mar. 2021 ย (acceptance rate < 50%)
"Data protection based on hidden space in Windows against ransomware", Joon-Young Paik, Geun Yong Kim, Seo Yeon Kang, Rize Jin and Eun-Sun Cho, ICICT (International Congress on Information and Communication Technology, organized by Springer, IFIP and etc.), Feb. 2021, London, UK, Lecture Notes in Networks and Systems Vol. 235, Springer Singapore, ISBN 978-981-16-2376-9 )ย
"๋ธ๋ก์ฒด์ธ ์ด๋๋ฆฌ์ ๊ธฐ๋ฐ ์ ์๊ถ ๊ฑฐ๋ ์๋น์ค DApp", Hyun-Gyeong Lee, Ji-Hyun Lee , Chae-Yeon Park, Eun-Sun Cho, 2020 ํ๊ตญ์ํํธ์จ์ด์ข ํฉํ์ ๋ํ KSC (Korea Software Congress), Dec. 2020
"์๋๋ก์ด๋ ํ๋ ์์ํฌ ์ํฐ ํจํด ๊ฐ์ ์ ํตํ ์ฑ๋ฅ๊ฐ์ ์ฐ๊ตฌ(Improving Android Framework with refactoring anti-patterns), Jae Hyun Kim, Song mu Lee, Jin hyun Lim, Eun-Sun Cho, Won Young Lee, 2020 ํ๊ตญ์ํํธ์จ์ด์ข ํฉํ์ ๋ํ KSC (Korea Software Congress), ํ๋ถ์ ๋ถ๋ฌธ ์ฅ๋ ค์, Dec. 2020, (Awarded paper)
"Feature Engineering Using File Layout for Malware Detection", Jeongwoo Kim, Joon-Young Paik, Eun-Sun Cho, The Annual Computer Security Applications Conference (ACSAC), Dec. 2020, (poster)
"์ํํธ์จ์ด ๋ถ๋ฒ ๋ณต์ ๋ฅผ ๋ฐฉ์งํ๊ธฐ ์ํ C ์ฝ๋ ๋๋ ํ ๋๊ตฌ (C code obfuscation tool to prevent software piracy)," Seoyeon Kang, Yumin Kim, Sujeong Lee, Eun-Sun Cho, ํ๊ตญ์ปดํจํฐ์ข ํฉํ์ ๋ํ (KCC), July, 2020
"์ค๋งํธ ์ปจํธ๋ํธ์ ๋์ ๋ชจ๋ํฐ๋ง์ ์ง์ํ๋ ์ด๋๋ฆฌ์ ๊ฐ์๋จธ์ (An EVM support for dynamic monitoring on smart contracts),"ย Ji Soo Kim, Sooyeon Lee, Eun-Sun Cho, ํ๊ตญ์ ๋ณด๋ณดํธํํ ํ๊ณํ์ ๋ํ, July, 2020
"Poster: DBB-DSE : Dynamic Backward-Bound Dynamic Symbolic Execution", Network and Distributed System Security Symposium (NDSS), Jonghwan Yang, Seokwoo Choi, Eun-Sun Cho, Feb. 2020ย San Diego, CA, US. (poster)
"C++ ์ ์ ์บ์คํ ์์ ์ทจ์ฝ์ ์ํ๋ฅผ ์ํ ํ๋ก๊ทธ๋จ ์ฌ์์ฑ ๋๊ตฌ (Program Rewriting Tool for Mitigation of Static Casting Vulnerabilities in C++)," Hyeockjin Kim, Jonghwan Yang, Eun-Sun Cho, JaeCheol Ryou, ํ๊ตญ์ ๋ณด๊ณผํํ๋ ผ๋ฌธ์ง(Journal of KIISE) ์ปดํจํ ๋ฐ์ค์ (CPL) No. 26, Vol.2, 2020ย
More previous publications (before 2020)
Please check repositories of "PLASinCNU" in GitHub (https://github.com/PLASLaboratory)
"ํ์คํ ๊ทธ๋จ๊ธฐ๋ฐ์ ๋๋ ํ ๊ธฐ๋ฒ ์๋ณ ์์คํ ๋ฐ ๋ฐฉ๋ฒ" , ์กฐ์์ , ๋ฐฑ์ค์, ๊น์ ์ฐ (์ถ์ย 10-2022-0189563ย (22/12/29), ํนํ ๋ฑ๋ก (25/12/))ย
"๋น์ ํ MBA ๋๋ ํ ๋ฐ์ดํฐ๋ฅผ ๋จ์ํํ๋ ์ ์ ์ฅ์น ๋ฐ ๋ฐฉ๋ฒ", ์กฐ์์ , ๋ชฉ์ฑ๊ท , ๊ตญ๋ดํนํ์ถ์ 10-2022-0151321 (22/11/14), ํนํ ๋ฑ๋ก 10-2877364 (25/10/23)
"๋์ ์ ์ฑ ๊ธฐ๋ฐ ์ค๋งํธ ์ปจํธ๋ํธ ๊ฐ์ธ์ ๋ณด๋ณดํธ ๋ฐฉ๋ฒ ๋ฐ ์์คํ ", ์กฐ์์ , ๊น์ง์, ๊ตญ๋ดํนํ์ถ์ 10-2023-0016591(23/2/8), ํนํ ๋ฑ๋ก 10-2852086 (25/8/25)
"์ ์ฑ์ฝ๋ ํจ๋ฐ๋ฆฌ ํ์ต์ฅ์น ๋ฐ ์ด๋ฅผ ์ด์ฉํ ์ ์ฑ์ฝ๋ ํจ๋ฐ๋ฆฌ ์๋ณ์ฅ์น", ๊น์ ์ฐ ๋ฐฑ์ค์ย ์กฐ์์ , ๊ตญ๋ดํนํ์ถ์10-2022-0189564(22/12/29), ๊ตญ๋ดํนํ๋ฑ๋ก 10-2832596(25/7/7)
"๊ฐ์ํ ๋๋ ํ ์ฝ๋ ์ญ๋๋ ํ ์ฅ์น ๋ฐ ๋ฐฉ๋ฒ", ์กฐ์์ , ์ด์์ ๊ตญ๋ดํนํ์ถ์ (10-2024-0192187), 2024๋ 12์ 20์ผ
"์์ฑํ AI ๊ธฐ๋ฐ์ ์ญ๋๋ ํ ์์คํ ๋ฐ ๋ฐฉ๋ฒ", ์กฐ์์ , ๋ฐฑ์ค์, ๊ถ์ง๊ทผ, ๋ ธ์ ์ , ๊ตญ๋ดํนํ์ถ์ (10-2024-0182889), 2024 ๋ 12์ 20์ผ
" ๋ถํฌ๋ช ์ ์ด ๋๋ ํ ํ์ง ์ฅ์น ๋ฐ ๋ถํฌ๋ช ์ ์ด ๋๋ ํ ํ์ง ๋ฐฉ๋ฒ", ์ ํ์ฐฝ, ์ด์์, ์กฐ์์ , ๊ตญ๋ด ํนํ ์ถ์ (10-2024-0185044 ), 2024๋ 12์ 12์ผย
"์ค๋งํธ ์ปจํธ๋ํธ ๊ฐ์ธ์ ๋ณด๋ณดํธ ๋ฐฉ๋ฒ ๋ฐ ์ด๋ฅผ ์ด์ฉํ ์์คํ ", ์กฐ์์ , ๊น์งํ, ๊น์ง์, ์ ๋คํ, ๊ตญ๋ด ํนํ ๋ฑ๋กย (10-2670647-0000, ์ถ์ 10-2022-0014402, 2022๋ 2์ 3์ผ), 2024๋ 5์24์ผ
"Bitwise Memory Operation์ผ๋ก ๋๋ ํ๋ ์คํ ์ฝ๋ ๋จ์ํ ๋ฐฉ๋ฒ", ์กฐ์์ , ๋ฐ์ ํ, ๊ตญ๋ด ํนํ ์ถ์ 10-2024-0011025, 2024๋ 1์ 24์ผ
"ํ๋์จ์ด ๋ฐ์ด๋๋ฆฌ ์ฝ๋์ ๋ํ ๋ถ์์ฉ ๋ฐ์ด๋๋ฆฌ ๋ถ์ ํ๋ ์์ํฌ", ์กฐ์์ , ๋ ธ์ ์ , ๋ชฉ์ฑ๊ท , ๊ตญ๋ด ํนํ ์ถ์ 10-2023-0193241, 2023๋ 12์ 27์ผย
"MSOPT๋ฅผ ์ด์ฉํ Opaque Predicate ๋๋ ํ ํด์ ์์คํ ๋ฐ ๋ฐฉ๋ฒ", ์กฐ์์ , ์ ํ์ฐฝ, ๊ฐ์์ฐ, ๊ตญ๋ด ํนํ ์ถ์ 10-2023-0169792, 2023๋ 11์ 29์ผ
"E-graphs๋ฅผ ์ด์ฉํ MBA์ ๊ฐ๋ตํ ์์คํ ๋ฐ ๋ฐฉ๋ฒ", ์กฐ์์ , ์ด์์, ๊ตญ๋ด ํนํ ์ถ์ 10-2023-0169791, 2023๋ 11์29์ผ
"์ค๊ฐ์ธ์ด๋ฅผ ํ์ฉํ ๋ฐ์ด๋๋ฆฌ ํ๋ก๊ทธ๋จ ๋๋ ํ์์คํ ๋ฐ ๋ฐฉ๋ฒ", ๊ฐ์์ฐ, ๊น์ ๋ฏผ, ์ด์์ , ์กฐ์์ ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-2524627, (์ถ์๋ฒํธ 10-2020-0189169, 2020๋ 12์ 31์ผ), 2023๋ 4์5์ผ
"๋์ ์ ์ฑ ๊ธฐ๋ฐ ์ค๋งํธ ์ปจํธ๋ํธ ๊ฐ์ธ์ ๋ณด๋ณดํธ ๋ฐฉ๋ฒ ๋ฐ ์์คํ ", ์กฐ์์ , ๊น์ง์, ๊ตญ๋ด ํนํ ์ถ์ 10-2023-0016591, 2023๋ 2์8์ผย
"๋น์ ํ MBA ๋๋ ํ ๋ฐ์ดํฐ๋ฅผ ๋จ์ํํ๋ ์ ์ ์ฅ์น ๋ฐ ๋ฐฉ๋ฒ",ย ์กฐ์์ , ๋ชฉ์ฑ๊ท , ๊ตญ๋ด ํนํ ์ถ์ 10-2022-0151321, 2022๋ 11์14์ผ
"ํ๋ก๊ทธ๋จ ์ ์ด ํ๋ฆ ๊ทธ๋ํ ์ฌ๊ฑด ์์คํ ๋ฐ ๋ฐฉ๋ฒ ", ๋ชฉ์ฑ๊ท , ์กฐ์์ , ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-2461532 2022๋ 10์27์ผ ย (์ถ์ย 2019๋ 12์ 23์ผ, ์ถ์๋ฒํธ 10-2019-0173098)
"์ค๋งํธ ์ปจํธ๋ํธ ์ฌ์์ฑ๊ธฐ", ์กฐ์์ , ๊น์ง์, ๊ตญ๋ด ํนํ ๋ฑ๋ก, 10-2454845, 2022๋ 10์ 11์ผ (์ถ์๋ฒํธ 10-2021-0006233, 2021๋ 1์ 15์ผ)
"๊ฐ์ธ์ ๋ณด๋ณดํธ๋ฅผ ์ง์ํ๋ ์ค๋งํธ ์ปจํธ๋ํธ ํ๋ก๊ทธ๋๋ฐ ์์คํ ๋ฐ ๋ฐฉ๋ฒ", ์กฐ์์ , ๊น์ง์, ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-2432775 2022๋ 8์10์ผ, (์ถ์ 2021๋ 3์ 26์ผ, ์ถ์๋ฒํธ 10-2021-0039691)
"ํ๋ก๊ทธ๋จ์ ํฌ๋์ ์ํ๋ ๋ถ์ ์ฅ์น ๋ฐ ๊ทธ ๋ฐฉ๋ฒ ",ย ์กฐ์์ , ๋ชฉ์ฑ๊ท , ์ ํ๊ตฌ, ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-2267618 2021๋ 6์ 15์ผ (์ถ์๋ฒํธ 10-2018-0169834, , 2018๋ 12์ 26์ผ, ์ฐ์ ๊ถ 10-2017-0179651 (17-414))ย
"์ปดํจํฐ์์ ์คํ๋๋ ํ์ผ์ ๊ตฌ์กฐ ์ ๋ณด๋ฅผ ์ด์ฉํ์ฌ ์ํธ๋กํผ ๊ธฐ๋ฐ์ผ๋ก ์ ์ฑ์ฝ๋๋ฅผ ํ์งํ๋ ์ ์ฑ์ฝ๋ ํ์ง ํ๋ก๊ทธ๋จ ๋ฐ ๋ฐฉ๋ฒ", ๊น์ ์ฐ, ๋ฐฑ์ค์, ์กฐ์์ , ๊ตญ๋ด ํนํ ์ถ์, 10-2021-0013287, 2021๋ 1์ 29์ผ
"์ด๋๋ฆฌ์ ์ค๋งํธ๊ณ์ฝ ๊ฐ์๋จธ์ ๋ฐ์ดํธ์ฝ๋ ๋ณด์์ฑ ํฅ์ ๋ฐฉ๋ฒ," ์กฐ์์ , ๋ฅ์ฌ์ฒ , ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-2263692, 2021๋ 6์4์ผ (์ถ์๋ฒํธ 10-2019-0177987 2019๋ 12์30์ผ)
"ํ์จ์ด ์ ๋ณด ๋ถ๋ฅ ์์คํ ๋ฐ ๋ฐฉ๋ฒ ย (SYSTEM AND METHOD FOR CLASSIFICATION OF FIRMWARE INFORMATION )",ย ์กฐ์์ , ์ด์์, ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-2252862, 2021๋ 5์ 11์ผ (์ถ์๋ฒํธ 10-2019-0086554 2019๋ ย 7์ 17์ผ )
"์๋๋ก์ด๋ ๋ฏธ๋์ดํ๋ ์์ํฌ ์ทจ์ฝ์ ๊ณผ ์ฌ๊ฐ๋ ๋ถ์ ์์คํ ๋ฐ ๋ฐฉ๋ฒ",ย ์ ํ์ง, ์กฐ์์ , ๊ตญ๋ด ํนํ ๋ฑ๋ก, 10-2200666, 2021๋ 1์ 5์ผ (์ถ์๋ฒํธ 10-2019-0179648, 2019๋ 12์ 31์ผ)
"ํ๋ก๊ทธ๋จ ๋์ ๋ถ์ ์ฅ์น ๋ฐ ๊ทธ ๋ฐฉ๋ฒ",ย ์กฐ์์ , ๋ชฉ์ฑ๊ท , ์ ํ๊ตฌ, ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-2195906, 2020๋ 12์ 21์ผ (์ถ์๋ฒํธ 10-2018-0169833, 2018๋ 12์ 26์ผ, ์ฐ์ ๊ถ 10-2017-0179696ย (17-413), 2017๋ 12์ 26์ผ)ย
"์ค๋งํธ ์ปจํธ๋ํธ ์คํ ์ฅ์น ๋ฐ ๊ทธ ์ฅ์น์์ ์ทจ์ฝ์ ํ์ง ๋ฐฉ๋ฒ", ์กฐ์์ , ๋ชฉ์ฑ๊ท , ์ด์์ฐ, ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-2157208, 2020๋ 9์ 11์ผ (์ถ์๋ฒํธ 10-2018-0134411, 2018๋ 11์05์ผ)
"์ฑ๋ด์ ์ด์ฉํ ์ฌ์ฉ์ ๋ช ๋ น์ด์ ํ๊น ์ฒ๋ฆฌ ์์คํ (Tagging processing system of user command using chatbot), ์กฐ์์ , ๊น์์ , ๊น์ฃผํ, ์ ๋ฏผํ, ๊ตญ๋ด ํนํ ๋ฑ๋ก, 10-2103563-0000, 2020๋ 4์ 14์ผ(์ถ์๋ฒํธ 10-2018-0173375 , 2018๋ 12์ 31์ผ) (=> ๊ธฐ์ ์ด์ 25.6.9 (์ฃผ)ํฐํ๋ฆฌ์ค)
"ํ๋ก๊ทธ๋จ ์ ์ฌ๋ ๋ถ์ ์ฅ์น ๋ฐ ๊ทธ ๋ฐฉ๋ฒ ", ์กฐ์์ , ๊น์์ฒ , ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-207-4906, 2020๋ 2์ 3์ผ (์ถ์๋ฒํธ 10-2017-0178629, 2017๋ 12์22์ผ)
"๋์ฌ์จ์ด ๊ณต๊ฒฉ์ ์๋ณํ๋ ๋ฒํผ ๊ด๋ฆฌ ์์คํ ๋ฐ ๋ฐฉ๋ฒ", ๋ฐฑ์ค์, ์ต์คํ, ์กฐ์์ , ๊ตญ๋ดํนํ์ถ์, 10-2019-0179649, 2019๋ 12์ 31์ผ
"์ค๋งํธ ๊ณ์ฝ ์ธ์ด์์ ํจ์ ํธ์ถ์ ์์ ์ฑ ํฅ์ ๋ฐฉ๋ฒ", ์กฐ์์ , ์ด์์ฐ, ์ ํ๊ทผ, ๊ตญ๋ดํนํ์ถ์, 10-2018-0026286, 2018๋ 3์ 6์ผย
"ํฌ๋์ ์ํ๋ ๋ถ์ ์ฅ์น ๋ฐ ๊ทธ ๋ฐฉ๋ฒ๊ณผ, ์ด๋ฅผ ์คํํ๋ ํ๋ก๊ทธ๋จ์ด ๊ธฐ๋ก๋ ์ปดํจํฐ๋ก ์ฝ์ ์ ์๋ ๊ธฐ๋ก๋งค์ฒด", ์กฐ์์ , ์ ํ๊ตฌ, ๋ชฉ์ฑ๊ท , ์๊ธฐ์ง, ๋ฅ์ฌ์ฒ , ๊ตญ๋ด ํนํ ๋ฑ๋ก, 10-1741131, 2017๋ 5์23์ผย
"๋ค์ค ํจ์ ์ ์ ๋ถ์ ์ฅ์น ๋ฐ ๋ฐฉ๋ฒ", ์กฐ์์ , ์ ํ๊ตฌ, ๋ชฉ์ฑ๊ท , ๊น์์ฒ , ๊ตญ๋ดํนํ์ถ์,10-2016-0180831 , 2016๋ 12์ 28์ผย ย
"์ ์ฅ ์ฅ์น ๋ฐ ๊ทธ๊ฒ์ ์ปค๋งจ๋ ์ค์ผ์ค๋ง ๋ฐฉ๋ฒ", ๋ฐฑ์ค์, ์กฐ์์ , ๊ตญ๋ด ํนํ ๋ฑ๋ก, 10-1687762 , 2016๋ 12์ 13์ผ ย ย (=> ๊ธฐ์ ์ด์ 2023.10)
"์ฟผ๋ฆฌ ๋ถ์ ์ฅ์น ๋ฐ ๋ฐฉ๋ฒ", ์ต์คํ, ์กฐ์์ , ๊ตญ๋ด ํนํ ๋ฑ๋ก, 10-1629446-0000, 2016๋ 6์ 3์ผ (=> ๊ธฐ์ ์ด์ 2023.10)
"๊ฐ์ ํ ์ด๋ธ์ ์ทจ์ฝ์ฑ์ ์ํ์ํค๋ ํ์ ๋ณํ ๋ฐฉ๋ฒ", ๋ฅ์ฌ์ฒ , ์กฐ์์ , ์คํ์ญ, ์ต์คํ, ๊ตญ๋ด ํนํ๋ฑ๋ก, 10-1567864, 2015๋ 11์ 4์ผ
โํ๋ก๊ทธ๋จ ์ ์ ๋ถ์์ ํตํ ํ๋์ ๋ฉ๋ชจ๋ฆฌ์ ๋๋ค ์ฐ๊ธฐ ์ฐ์ฐ์ ์๋ ํฅ์ ๋ฐฉ๋ฒโ, ๋ฐฑ์ค์, ์กฐ์์ , ์คํ์ญ, ๊ตญ๋ดํนํ ๋ฑ๋ก 10-1361670, 2014๋ 2์ 5์ผ (=>๊ธฐ์ ์ด์ ย 2020.4.22)
"๊ฐ์ธ ์ ๋ณด์ ์ถ์ํ ์ฅ์น ๋ฐ ๋ฐฉ๋ฒ," ๊น์ค์ผ, ์กฐ์์ , ์กฐ์๋, ๊ตญ๋ด ํนํ ๋ฑ๋ก 1010750520000, 2011๋ 10์ 13์ผย
"์ ๋น์ฟผํฐ์ค ํ๊ฒฝ์์์ ์ํฉ ์ ๋ณด ์ ๊ณต ๋ฐ ๊ทธ ๋ฐฉ๋ฒ ", ๊น์ค์ผ, ์กฐ์์ , ์กฐ์๋, ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-1041474-0000, 2011๋ 6์ 08์ผ
โ์์ ๊ธฐ์ ์ฒด๊ณ ๋ฐ์ดํฐ ์ฒ๋ฆฌ ์์คํ ๋ฐ ๊ทธ ๋ฐฉ๋ฒโ, ๋ฐ๋ช ์ : ์คํ์ฐ, ๋ฐ๊ด๋ก, ํ์ธํ, ์กฐ์์ , ์ง์ตํ, ๊ตญ๋ด ํนํ๋ฑ๋ก 10-0947121-00-00, 2010๋ 3์1์ผย
"์๋์ํ ๋ทฐ์ ๊ธฐ๋ฐํ๋ ์ ๋ณด ๋ณดํธ ๋ฐฉ๋ฒ", ๊น์ค์ผ, ํ๋งํ, ์กฐ์์ , ๊ตญ๋ด ํนํ ๋ฑ๋ก 10-0902759, 2009๋ 6์5์ผ
"SYSTEM AND METHOD FOR PROCESSING RESOURCE DESCRIPTION FRAMEWORK DATA", Hyun-Wo Oh, In Tark Han, Kwang Roh Park, Eun-Sun Cho, Ik-Hyoun Jin, US Patent Request 20090222790, 2009.03
โ๋ชจ๋ฐ์ผ ์ปจํ ์ธ ์ ๊ณต ์์คํ ๋ฐ ๊ทธ ๋ฐฉ๋ฒโ, ๊น์ค์ผ, ์กฐ์์ , ๊ตญ๋ด ํนํ ๋ฑ๋ก 20050069794, 2007.04
"๊ฐ์ํ ๋๋ ํ ํต์ฌ ๊ตฌ์กฐ ํ์ LLVM Pass(์์๋ธ์ด์ ํจ์ค)", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ, C-2025-054641, (์์์ค, ์กฐ์์ ), 2025๋ 12์ 3์ผ
"ObfusTree(์ตํจ์ค ํธ๋ฆฌ, ๊ตฌ์กฐ์ ๋ณํ์ ํตํ ๊ตฌ๋ฌธ ์์ค ์ฝ๋ ๋๋ ํ ๋๊ตฌ)", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ, C-2025-048566, (์กฐ์ธ์ฐ, ์กฐ์์ ์ธ 1), 2025๋ 11์ 11์ผ
"ํ๋ก๊ทธ๋จ ํฉ์ฑ๊ณผ ์ ์ถ๋ ฅ ๋ถ์์ ํตํ MBA(Mixed Boolean Airithmetic, ๋ถ๋ฆฌ์ธ ํผํฉ ์ฐ์ ์ฐ์ฐ) ๊ฒฐํฉ Opaque predicate (์คํฉ ํ๋ฆฌ๋ํท) ๋๋ ํ ํ์ง ๋๊ตฌ ", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ,ย C-2024-003414-2, (์ ํ์ฐฝ, ์กฐ์์ , ๊ฐ์์ฐ), 2024๋ 02์ 05์ผ
"EVM+2.0 (์ค๋งํธ ์ปจํธ๋ํธ ์ฌ์์ฑ๊ธฐ)", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ, C-2020-030522, (๊น์ง์, ์กฐ์์ ), 2020๋ 09์ 08์ผ
"Solidity (์๋ฆฌ๋ํฐ)์ปดํ์ผ ์๋ํ ํ๋ก๊ทธ๋จ", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ,C-2020-029530,(์ด์์ฐ,์กฐ์์ ),2020๋ 08์ 31์ผ
"์๋๋ก์ด๋ ๋ฏธ๋์ดํ๋ ์์ํฌ ์ทจ์ฝ์ ์ ์ ๋ถ์ ๋๊ตฌ ", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ, C-2019-031991, (์ ํ์ง, ์กฐ์์ ), 2019๋ 11์ 04์ผย
"ํจ์ํธ์ถ ์์ ์ฑ์ ์ํ Solidity (์๋ฆฌ๋ํฐ) ์ ์ฒ๋ฆฌ๊ธฐ ", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ, C-2019-030173 , (์ด์์ฐ, ์กฐ์์ ), 2019๋ 10์ 25์ผย
"FirmwareARC Finder (ํ์จ์ด ์ํคํ ์ฒ ํ์ธ๋) ", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ, C-2019-029485 , (์ด์์, ์กฐ์์ ), 2019๋ 10์ 21์ผย
"์์ธ์ฒ๋ฆฌ๋ฅผ ํฌํจํ Control Flow Graph (CFG) Builder ", ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ, C-2019-027713, (๋ชฉ์ฑ๊ท , ์กฐ์์ ), 2019๋ 10์ 08์ผย ย
"ํฌ๋์์ ์ํ๋๋ฅผ ๋ถ๋ฅํ๋ ํ๋ก๊ทธ๋จ",ย ์ถฉ๋จ๋ํ๊ต ์ฐํํ๋ ฅ๋จ, ํ๊ตญ์ ์๊ถ์์ํ C-2018-040016, (์กฐ์์ , ์ ํ๊ตฌ, ๋ชฉ์ฑ๊ท ์ธ),ย 2018๋ 12์ 27์ผ