Hi, I am a Ph.D student, and a member of SoftSec Lab in KAIST. I want to research in the area of Binary Analysis. Recently, my greatest interests are to learn symbolic execution and program analysis for finding software bugs.
I enjoy playing CTF(Capture The Flag)s especially solving pwnable, reversing, and crypto problems. I am now a member of KaisHack and KAIST GoN.
Learned basic knowledge of Mathematics from Departments of Mathematical Sciences. Highly motivated by Abstract Algebra and Number Theory.
Learned basic knowledge of Computer Science from School of Computing. Highly motivated by Programming Language and Compilter Theory.
Testing Intermediate Representations for Binary Analysis [Download]
Soomin Kim, Markus Faerevaag, Minkyu Jung, Seungil Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
In Proceedings of the 32nd IEEE/ACM International Conference On Automated Software Engineering, 2017
Teaching Assistant Experiences
Information Security Laboratory
SCTF(Samsung Capture The Flag), Organizer
KITRI the 2nd Best of the Best Program, Best 10
C / Assembly
Belluminar POC 2016 with KAIST GoN
Korea National Cryptography Contest (2016)
DEF CON CTF 24 with KaisHack GoN (2016)
Belluminar Beijing with KAIST GoN (2016)
Korea National Cryptography Contest (2015)
DEF CON CTF 22 with KAIST GoN (2014)
Korea National Mathematics Competition for University Students (2012)
Korea National Mathematics Competition for University Students (2011)