Jaeseung Choi (최재승)
 |
Assistant Professor Department of Computer Science and Engineering, Sogang University jschoi22@sogang.ac.kr / jschoi.2022@gmail.com Adam Schall Hall (AS) 711 +82 2 705 8490 [CV] [Google Scholar] |
Research Interest
My research interest includes various topics in software security and software engineering. In particular, I am interested in fuzz testing, symbolic execution and static analysis.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
- 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.
- Mar. 2014, Science & ICT Minister's Certificate (Best 10) in Information Security Education Program, BoB.
- Aug. 2013, 8th Place in DEFCON (Hacking Competition) 21 Final, as a joint team of Alternatives and Guardian.
- 2011 - 2014, National Scholarship for Science & Engineering from Korea Student Aid Foundation.
Selected Publications
| [7] |
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] |
| [6] |
Extending the Capacity of Program-Aware Fuzzing with Binary-Level Static Analysis. Jaeseung Choi. Ph.D. Thesis, 2021 |
| [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
- (CSE4100) Multicore 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.