Personal statement

Hi, I am a Master 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.

SoominKim


Education

MSc in Information Security

KAIST Graduate School of Information Security

Learned basic knowledge of Information Security. Strongly motivated by Binary Analysis

2017-Present


BSc in Mathematics & Computer Science

KAIST Departments of Mathematical Sciences
KAIST School of Computing

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.

2011-2016


Publications

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

2017 Spring


Experiences

SCTF(Samsung Capture The Flag), Organizer

2017


KITRI the 2nd Best of the Best Program, Best 10

2013-2014

Technical skills

F#

Python 2

C / Assembly

OCaml


Awards

Belluminar POC 2016 with KAIST GoN

2nd Place

Korea National Cryptography Contest (2016)

1st Place

DEF CON CTF 24 with KaisHack GoN (2016)

5th Place

Belluminar Beijing with KAIST GoN (2016)

Finalist

Korea National Cryptography Contest (2015)

1st Place

DEF CON CTF 22 with KAIST GoN (2014)

Finalist

Korea National Mathematics Competition for University Students (2012)

Bronze Prize

Korea National Mathematics Competition for University Students (2011)

Silver Prize