Pohang University of Science and Technology (POSTECH) Mar. 2015 - Feb. 2019Pohang (South Korea)
B.S. in Creative IT Engineering
Summa Cum Laude and Valedictorian Honor
Scalable vulnerability detection
This topic is at the intersection of program analysis and software security, two fields that I have both enjoyed and excelled in.
Manual security auditing can find complicated new bugs, but they are hardly scalable in terms of time and human resource.
I'm extremely interested in automating such approach, so that we can prevent not only a bug in a specific product, but also all bugs of the same class in all future products.
To this end, I would like to work on topics such as coverage-guided fuzzing, symbolic execution, hybrid fuzzing, and static analysis.
There is a huge abstraction gap between programming languages and machine code.
Typically, machine code does not contain any type information, struct definition, or inheritance hierarchy.
Furthermore, compilers might introduce additional disparity while optimizing the source code.
Lost abstractions make understanding the core logic of the program harder, and reconstructing them can help both human and machine analyzer.
I believe this is a challenging, interesting, and important research domain.
National Cancer Center, Research Assistant Apr. 2019 - Jun. 2019Goyang (South Korea)
Developed medical image segmentation for breast cancer biopsy robot control
Oracle Labs Parallel Graph AnalytiX (PGX), Research Assistant Feb. 2018 - Jun. 2018Belmont, California (United States)
Developed IR based common execution backend for different query languages and runtimes supported by PGX
POSTECH Database & Data Mining Lab, Undergraduate Intern 2016 Winter - 2017 SpringPohang (South Korea)
Developed adaptive indexing method to improve performance of graph database
Honors and Awards
Kwanjeong Study Abroad Scholarship 2019 - present
Samsung Software Membership 2016 - 2019
#10 at XCTF Finals "LeaveCat-PLUS"
#8 at DEF CON CTF Finals "r00timentary"
#21 at DEF CON CTF Finals "KaisHack+PLUS+GoN"
#7 at Google CTF Finals "LeaveCat-PLUS"
Special Award in Cryptography (5M KRW) at Samsung CTF
#11 at DEF CON CTF Finals "hacking4danbi"
3rd Award (1M KRW) at Samsung CTF
4th Award (2M KRW) at Samsung Collegiate Programming Cup
3rd Award (4M KRW) at Samsung Collegiate Programming Cup
#3 (2M KRW) at Code Gate CTF University "PLUS"
Runner Up Award (1.5M KRW) at Korea National Crypto Challenge Yechan Bae, Doyoung Ham, Junho Han
Bronze Medal at Asia-Pacific Informatics Olympiad (2014)
Bronze Medal at Asia-Pacific Informatics Olympiad (2013)