Seo-ye Kim

Ph.D. Student, School of Computing, KAIST
Advised by Prof. Brent Byunghoon Kang
Github : KimSeoYe
Contact : kimseoye.public@gmail.com, kimseoye@kaist.ac.kr

Education

Ph.D. in Computer Science, KAIST, Korea (Feb. 2025 - )
M.S. in Computer Science, KAIST, Korea (Feb. 2023 - Feb. 2025)
B.S. in Computer Science, Handong Global University, Korea (Feb. 2018 - Feb. 2023)

Research Interests

• Systems security
• Transactional storage system
• Hardware based security monitor
• Software supply chain security

Publications

International

• Lee, S., Kim, S., Song, C., Woo, B., Ahn, E., Lee, J., ... & Kang, B. B. (2024, April). GENESIS: A Generalizable, Efficient, and Secure Intra-kernel Privilege Separation. In Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing (pp. 1366-1375). [link]

Domestic

• J. Kim, S. Kim, S. Hong, How Does a Unit-level Test Case for Continuous Fuzzing Evolve: An Empirical Study of Code Changes in OSS-Fuzz Projects, Korean Congress of Computing (KCC), Jun 30-Jul 1, 2022 [pdf]

Projects

• Mar. 2025 – Feb. 2028: Research Project on "Hardware-level Instruction Flow Monitor for System Execution Integrity Verification"
  Sponsored by the National Research Foundation of Korea, NRF

• Apr. 2024 – Dec. 2026: Global Research Support on "Security Techniques for Extended Application of Trusted Computing"
  Research collaboration as a visiting scholar with the Systems Research Group at Northeastern University,
  hosted by Prof. Ji-Yong Shin (Jul. 2025 - Dec. 2025)
  Sponsored by the Institute of Information & Communications Technology Planning & Evaluation, IITP

• Jul. 2024 – Dec. 2026: Research Project on "Development of Automated SBOM and VEX Verification Technologies for Securing Software Supply Chains"
  Sponsored by the Institute of Information & Communications Technology Planning & Evaluation, IITP

• Mar. 2023 – Oct. 2024: Research Project on "Verification of WebAssembly Vulnerabilities in Multiple Browsers"
  Sponsored by the National Security Research Institute, NSR