Jaeseung Choi

Ph.D Student at SoftSec Lab, KAIST
Room 2302, N5 Building, KAIST
jschoi17@kaist.ac.kr
+82 42 350 7769

Education

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.

Publications

 
[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
[pdf]
 

Experience

Awards