Jaeseung Choi (최재승)
 |
Assistant Professor Dept. of Computer Science, Sogang University jschoi22@sogang.ac.kr / jschoi.2022@gmail.com Adam Schall Hall 711 02-705-8490 [CV] [Google Scholar] |
Research Interest
My research interests span various topics in software security and software engineering. In particular, I focus on fuzz testing, static analysis, and symbolic execution.Education
- Mar. 2017 - Feb. 2022, Ph.D. in Computer Science, Graduate School of Information Security, KAIST (Advisor : Sang Kil Cha)
- Mar. 2015 - Feb. 2017, M.S. in Computer Science and Engineering, Dept. of Computer Science and Engineering, SNU (Advisor : Kwangkeun Yi)
- Mar. 2011 - Feb. 2015, B.S. in Computer Science and Engineering, Dept. of Computer Science and Engineering, SNU
Professional Experience
- Sep. 2022 - Present, Assistant Professor at Sogang University
- Mar. 2022 - July. 2022, Senior Researcher at CSRC, KAIST
- Apr. 2015 - Aug. 2015, Visiting Researcher at UC Berkeley (worked with Dawn Song for DARPA Cyber Grand Challenge)
- Sep. 2013 - Feb. 2015, Research Assistant at Programming Research Laboratory
- Mar. 2013 - July. 2015, Research Assistant at Real-time Ubiquitous System Laboratory
- Dec. 2012 - Jan. 2013, Internship at SAP Korea Labs
Awards
- Dec. 2023, Ricci Engineering Best Lecture Award (Sogang University).
- Feb. 2022, Outstanding Ph.D. Thesis Award (KAIST School of Computing).
- Dec. 2021, NAVER Ph.D. Fellowship 2021.
- Feb. 2019, Best Paper Award in NDSS Workshop on Binary Analysis Research.
- Dec. 2018, Science & ICT Minister's Prize (1st prize) in Information Security R&D Data Challenge.
- Feb. 2015, B.S. Summa Cum Laude from Dept. of Computer Science and Engineering, SNU.
- Aug. 2013, 8th Place in DEFCON (Hacking Competition) 21 Final, as a joint team of Alternatives and Guardian.
Selected Publications
| [9] |
EVMpress: Precise Type Inference for Next-Generation EVM Decompilation Jung Hyun Kim, Soomin Kim, Jaeseung Choi, Sang Kil Cha International Workshop on Cryptocurrencies an Blockchain Technology (CBT), in conjunction with ESORICS, 2025 [PDF] |
| [8] |
PAVE: Information Flow Control for Privacy-preserving Online Data Processing Services Minkyung Park, Jaeseung Choi, Hyeonmin Lee, and Taekyoung Kwon ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2025 [PDF] |
| [7] |
Evaluating Directed Fuzzers: Are We Heading in the Right Direction? Tae Eun Kim, Jaeseung Choi✉, Seongjae Im, Kihong Heo, and Sang Kil Cha ACM International Conference on the Foundations of Software Engineering (FSE), 2024 ✉ Corresponding author [PDF] [GitHub] |
| [6] |
DAFL: Directed Grey-box Fuzzing Guided by Data Dependency Tae Eun Kim, Jaeseung Choi, Kihong Heo, and Sang Kil Cha USENIX Security Symposium (USENIX), 2023 [PDF] [GitHub] |
| [5] |
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses Jaeseung Choi*, Doyeon Kim*, Soomin Kim, Gustavo Grieco, Alex Groce, and Sang Kil Cha IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021 *Co-first authors [PDF] [GitHub] |
| [4] |
NtFuzz: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis Jaeseung Choi, Kangsu Kim, Daejin Lee, and Sang Kil Cha IEEE Symposium on Security and Privacy (S&P, Oakland), 2021 [PDF] [GitHub] |
| [3] |
Grey-box Concolic Testing on Binary Code Jaeseung Choi, Joonun Jang, Choongwoo Han, and Sang Kil Cha IEEE/ACM International Conference on Software Engineering (ICSE), 2019 [PDF] [GitHub] |
| [2] |
B2R2: Building an Efficient Front-End for Binary Analysis Minkyu Jung, Soomin Kim, HyungSeok Han, Jaeseung Choi, and Sang Kil Cha NDSS Workshop on Binary Analysis Research, 2019 [PDF] [GitHub] |
| [1] |
Git-based CTF: A Simple and Effective Approach to Organizing In-Course Attack-and-Defense Security Competition SeongIl Wi, Jaeseung Choi, and Sang Kil Cha USENIX Workshop on Advances in Security Education, 2018 [PDF] [GitHub] |
Vulnerability Reports
-
Windows Kernel Vulnerabilities (Reported to Microsoft bug bounty):
CVE-2020-0792, CVE-2020-1246, CVE-2020-1053, CVE-2020-17004 -
Linux Package Vulnerabilities:
CVE-2016-5735, CVE-2017-1000229, CVE-2017-16899, CVE-2017-16938, CVE-2018-7254, CVE-2018-6767, CVE-2018-7253, CVE-2018-1056, CVE-2018-6612, CVE-2017-18120, CVE-2018-19655 -
Windows Application Vulnerabilities (Reported to KISA bug bounty):
Hancom Hwp (Mar. 2014), Daum PotPlayer (Aug. 2015)
Teaching
- (CSE3030) Introduction to Computer Systems: Spring 2023-2026
- (CSE4104) Hacking and Information Security: Fall 2023-2025
- (CSE4120) Compiler Construction: Fall 2023-2025
- (CSE6408) Software Analysis and Testing: Spring 2025
- (CSE4050) Programming Language: Spring 2024
- (CSE4100) System Programming: Spring 2023
- (CSE3015) Introduction to Digital Circuits: Fall 2022
- (CSE2035) Computer Programming II: Fall 2022
Selected Talks
- Jun. 2023, Technical talk at KCC.
- May. 2022, Technical talk at KIISC Workshop on CPS Security.
- Feb. 2022, Seminar talk at Dept. of Computer Science and Engineering, SNU.
- Feb. 2022, Technical talk at SIGPL Winter School 2022.
- Nov. 2021, Technical talk at Security@KAIST.
- Nov. 2021, Conference talk at ASE 2021.
- May. 2021, Seminar talk at Prosys Lab, KAIST
- May. 2021, Conference talk at S&P 2021.
- May. 2019, Conference talk at ICSE 2019.
- Feb. 2019, Technical talk at SIGPL Winter School 2019.
Lab Members
- Hyun Jeong Go (PhD, 2026.03 - )
- Jin Jeon (MS, 2024.09 - )
- Minseok Lee (MS, 2026.03 - )
- Jaeyong Lee (MS, 2026.03 - )
- Ju-young An (MS, 2025.03 -, Co-advising with Prof. Hakjoo Oh)
- Hojin Choi (Undergraduate Intern, 2024.01 - )
- Junghwan Kim (Undergraduate Intern, 2026.01 - )