About Me

Research Interests

Ph.D., Electrical and Computer Engineering, Seoul National University, Mar. 2017 ~
- Advisor: Byoungyoung Lee
- Advisor before moving into Compsec lab: Sunghyun Choi
B.S., Electrical Engineering, Pohang University of Science and Technology, Mar. 2013 ~ Feb. 2017.

[2023.02 - ] Designing a secure big-data analysis platform to protect data
- Implemented the framework using Intel SGX, and Spark.
[2023.02 - 2023.05] Fuzzing gramine libos for hardening the TCB inside SGX [code]
- Implemented the fuzzer using syzkaller.
  - Published a paper to SysTEX 2023 [paper][slide].
[2022.05 - ] Automated stock trading application for the people who always lose their money
- Published an Android App, MumeParrot.
[2022.03 - ] Designing an efficient, and scalable confidential serverless computing framework
- Implemented the framework using Intel SGX, Gramine, and Openwhisk.
[2021.11 - ] Designing a secure machine-learning platform to protect training data
- Implemented the framework using AMD SEV, PyTorch, and grpc.
[2021.05 - 2022.10] Hardware fuzzing to find transient execution vulnerabilities in RISC-V CPUs [code]
- Implemented the fuzzer using Verilator, Chipyard, Chisel, and Firrtl.
- Found 2 new transient execution vulnerabilities in RISC-V Nutshell, and RISC-V Boom.
- Published a paper to ACM CCS 2022 [paper][slide].
[2021.03 - 2022.02] Firmware fuzzing to find bugs in Samsung secure elements
- Implement the SoC emulator using QEMU.
[2019.09 - 2021.05] Hardware fuzzing to find functional bugs in RISC-V CPUs [code]
- Implemented the fuzzer using Verilator, Spike, Firrtl, and Cocotb.
- Found 16 new bugs, including 6 CVEs in RISC-V CPUs.
- Published a paper to IEEE S&P 2021 [paper][slide].