Jaeseung Choi

Ph.D Student at SoftSec Lab, KAIST
Room 2302, N5 Building, KAIST
+82 42 350 7769


Research Interest

My research interest spans various topics in software security and program analysis. In particular, I am interested in fuzz testing, symbolic execution and static binary analysis.


[2]  Grey-box Concolic Testing on Binary Code
Jaeseung Choi, Joonun Jang, Choongwoo Han, and Sang Kil Cha.
ICSE 2019: International Conference on Software Engineering (to appear)
[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 ASE 2018: USENIX Workshop on Advances in Security Education