Jaeseung Choi
Ph.D Student

  • KAIST N5 #2302, 291 Daehak-ro, Yuseong-gu, Daejeon 34141, South Korea
  • jschoi17@kaist.ac.kr
  • +82 42 350 7769

About Me

I am a Ph.D student at SoftSec Lab in KAIST. My research interest spans various topics in software security and program analysis. In particular, I am interested in fuzz testing, symbolic execution and abstract interpretation.

Education



Feb 2017 - Current

Graduate School of Information Security, KAIST
Ph.D Student (Advisor : Prof. Sang Kil Cha)

Mar 2015 - Feb 2017

Department of Computer Science and Engineering, Seoul National University
Master of Science in Computer Science (Advisor : Prof. Kwangkeun Yi)

Mar 2011- Feb 2015

Department of Computer Science and Engineering, Seoul National University
Bachelor of Science in Computer Science

Experience



Apr 2015 - Aug 2015

Visiting Researcher at UC Berkely

  • Collaborated with Prof.Dawn Song
  • Participated in DARPA CGC Project

Sep 2013 - Feb 2015

Research Assistant at ROPAS Lab

  • Developed a static analyzer for detecting buffer overrun in x86 binaries

Aug 2013 - Feb 2014

Information Security Education Course, KITRI BoB

  • Awarded a minister prize, as one of the best 10 students of the program

Dec 2012 - Jan 2013

Internship at SAP Korea Labs

  • HANA DBMS Testing

Mar 2011 - Feb 2014

Computer Security Research Club, Guardian

  • Led the club from Jan. 2012 to Dec. 2012

Teaching



{2017, 2018} Spring

TA, Information Security Lab (@ KAIST, IS521)

2016 Spring

TA, Program Analysis (@ Seoul National University, 4541.664A)

2015 Fall

TA, Programming Language (@ Seoul National University, 4190.310)

Awards & Honors



Feb 2015

B.S Summa Cum Laude Graduate

Aug 2013

8th place in DEFCON Final

Mar 2011 - Feb 2015

Korea Student Aid Foundation Scholarship

Technical Skills

  • Static Analysis
  • Reverse Engineering
  • Software Exploitation
  • F#
  • OCaml
  • Python, C, C++
Go to Top