My research interests are in operating system. Especially, building a fast and secure system with a secure language (e.g. rust).
email mkjung (at) casys.kaist.ac.kr
my_location Room 4422, E3-1, KAIST
 B2R2: Building an Efficient Front-End for Binary Analysis
, Soomin Kim, HyungSeok Han, Jaeseung Choi, Sang Kil Cha
NDSS BAR 2019: NDSS Workshop on Binary Analysis Research, Best Paper Award!
 Testing Intermediate Representation for Binary Analysis
Soomin Kim, Markus Faerevaag, Minkyu Jung
, SeungIl Jung, DongYeop Oh, JongHyup Lee, Sang Kil Cha
ASE 2017: Automatic Software Engineering
Awards & Experiences
Aug. 2019, Finalist, DEF CON CTF.
Feb. 2019, Best Paper Award, NDSS Workshop on Binary Analysis Research (BAR).
Dec. 2018, MSIT Minister Prize, KISA Data Challenge (Automatic Vulnerability Detection Track).
Aug. 2018, Finalist, DEF CON CTF.
Apr. 2018, 1st Place, Codegate CTF university division.
Nov. 2017, 1st Place, National Cryptography Contest (Problem Solving Track).
Aug. 2016, Finalist, DEF CON CTF.
Teaching and Extracurricular Experiences
Research Intern, June. 2021 ~, Google Korea.
TA, 2021 Spring, CS330 Operating Systems and Lab, KAIST.
TA, 2020 Spring, CS330 Operating Systems and Lab, KAIST.
TA, 2019 Spring, CS220 Programming Principles, KAIST.
TA, 2018 Fall, IS561 Binary Analysis and Secure Software Systems, KAIST.
Organizer, 2018, Samsung CTF.
Organizer, 2017, Samsung CTF.
2016, President of KAIST Hacking & Security Club, GoN.