About me

I am a first-year Ph.D. student at University of Illinois Urbana-Champaign advised by Prof. Xiaojing Liao. Prior to doctoral studies, I worked with Prof. Min Suk Kang in Network Security and Privacy Lab at KAIST.

I am interested in verifiable AI and AI safety. My research questions focus on identifying which properties of AI models are most important to verify and how such verification can be practically realized.

News

Publications

2025

  • On Frontrunning Risks in Batch-Order Fair Systems for Blockchains
    Eunchan Park (co-first), Taeung Yoon (co-first), Hocheol Nam, Deepak Maram, Min Suk Kang
    In Proceedings of ACM Conference on Computer and Communications Security (CCS), Oct 2025.
    [paper]

2023

  • Partitioning Ethereum without Eclipsing It
    Hwanjo Heo, Seungwon Woo, Taeung Yoon, Min Suk Kang, Seungwon Shin
    In Proceedings of Network and Distributed System Security Symposium (NDSS), February 2023.
    [paper]

Service & Awards

  • CS Graduate Ambassador, University of Illinois Urbana-Champaign Mar 2026
  • Artifact Evaluation Committee, USENIX Security Symposium 2026
  • Travel Grant, ACM CCS Oct 2025
  • 2nd Place, Near Horizon AI Hackathon (USD 4K) Sep 2024

Teaching Experience

  • Teaching Assistant, Introduction to Computer Networks, KAIST Fall 2024
  • Teaching Assistant, Introduction to Information Security, KAIST Spring 2024