Ph.D Student at SoftSec Lab, KAIST
Room 2302, N5 Building, KAIST
+82 42 350 7769
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.
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)
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
Apr. 2015 - Aug. 2015, Visiting Researcher at UC Berkely. Worked with Dawn Song for DARPA Cyber Grand Challenge.
Sep. 2013 - Feb. 2015, Research Assistant at ROSAEC Center. Developed a static analyzer for detecting buffer overrun in x86 binaries
Dec. 2012 - Jan. 2013, Internship at SAP Korea Labs.
Mar. 2011 - Feb. 2014, Member of Computer Security Research Club Guardian in SNU. Served as a president from Jan. 2012 to Dec. 2012.
Dec. 2018. 1st Place in KISA Data Challenge (Automated Vulnerability Detection Track).
Feb. 2015. B.S Summa Cum Laude Graduate.
Feb. 2014. Minister Prize at Information Security Education Program KITRI BoB.
Aug. 2013. 8th Place in DEFCON Final.
Mar. 2011 - Feb. 2015. Korea Student Aid Foundation Scholarship