Minkyu Jung Ph.D student @ casys, KAIST

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
  • Mar. 2020 - Current, Ph.D student in Computer Science, KAIST (Advisor: Youngjin Kwon)
  • Jul. 2018 - Jul. 2019, Master in Information Security, KAIST (Advisor: Sangkil Cha)
  • Mar. 2014 - Aug. 2018, Bachelor in Electrical Engineering & Computer Science, KAIST
  •  Publication
    [2] B2R2: Building an Efficient Front-End for Binary Analysis [pdf]
    Minkyu Jung, Soomin Kim, HyungSeok Han, Jaeseung Choi, Sang Kil Cha
    NDSS BAR 2019: NDSS Workshop on Binary Analysis Research, Best Paper Award!
    [1] Testing Intermediate Representation for Binary Analysis [pdf]
    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.