Dokyung Song

Dokyung Song 송도경

Assistant Professor
Department of Computer Science and Engineering, Yonsei University

D704 Engineering Hall #4, Yonsei University, Seoul 03722
dokyungs@yonsei.ac.kr

I am an Assistant Professor in the Department of Computer Science and Engineering in the College of Computing at Yonsei University, and the director of Yonsei University's Secure Systems Lab. I am also the faculty advisor of the Yonsei Security Club. Prior to joining Yonsei University, I was a Post-Doctoral Scholar working with Michael Franz in the Secure Systems and Software Lab at University of California, Irvine. I received my Ph.D. and M.S. degrees from the department of Computer Science at UC Irvine, and my B.S. degree from the department of Electrical and Computer Engineering at Seoul National University. My research interests span systems security broadly. Recently, I have been focusing on the security of LLM serving systems (including agentic systems), and building agentic systems for security, such as autonomous vulnerability finding.

Selected Publications

  1. ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environments [paper]
    Myungsuk Moon, Minhee Kim, Joonkyo Jung, Dokyung Song
    In Network and Distributed System Security Symposium (NDSS), February 2025.

  2. Moneta: Ex-Vivo GPU Driver Fuzzing by Recalling In-Vivo Execution States [paper]
    Joonkyo Jung1, Jisoo Jang1, Yongwan Jo, Jonas Vinck, Alexios Voulimeneas, Stijn Volckaert, Dokyung Song
    1 Equal contribution.
    In Network and Distributed System Security Symposium (NDSS), February 2025.

  3. ERASAN: Efficient Rust Address Sanitizer [paper]
    Jiun Min1, Dongyeon Yu1, Seongyun Jeong, Dokyung Song, Yuseok Jeon
    1 Equal contribution.
    In IEEE Symposium on Security and Privacy (S&P), May 2024.

  4. ReUSB: Replay-Guided USB Driver Fuzzing [paper]
    Jisoo Jang1, Minsuk Kang1, Dokyung Song
    1 Equal contribution.
    In USENIX Security Symposium (USENIX Security), August 2023.

  5. GuardiaNN: Fast and Secure On-Device Inference in TrustZone Using Embedded SRAM and Cryptographic Hardware [paper]
    Jinwoo Choi1, Jaeyeon Kim1, Chaemin Lim1, Suhyun Lee, Jinho Lee, Dokyung Song, Youngsok Kim
    1 Equal contribution.
    In ACM/IFIP International Middleware Conference (Middleware), November 2022.

  6. Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment [paper]
    Geunwoo Kim, Sanghyun Hong, Michael Franz, Dokyung Song
    In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), July 2022.

  7. Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints [paper]
    Dokyung Song, Felicitas Hetzelt, Jonghwan Kim, Brent Byunghoon Kang, Jean-Pierre Seifert, Michael Franz
    In USENIX Security Symposium (USENIX Security), August 2020.

  8. Distributed Heterogeneous N-Variant Execution [paper]
    Alexios Voulimeneas, Dokyung Song, Fabian Parzefall, Yeoul Na, Per Larsen, Michael Franz, Stijn Volckaert
    In International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA), June 2020.

  9. SoK: Sanitizing for Security [paper]
    Dokyung Song, Julian Lettner, Prabhu Rajasekaran, Yeoul Na, Stijn Volckaert, Per Larsen, Michael Franz
    In IEEE Symposium on Security and Privacy (S&P), May 2019.

  10. PeriScope: An Effective Probing and Fuzzing Framework for the Hardware-OS Boundary [paper]
    Dokyung Song, Felicitas Hetzelt, Dipanjan Das, Chad Spensky, Yeoul Na, Stijn Volckaert, Giovanni Vigna, Christopher Kruegel, Jean-Pierre Seifert, Michael Franz
    In Network and Distributed System Security Symposium (NDSS), February 2019.

  11. PartiSan: Fast and Flexible Sanitization via Run-time Partitioning [paper]
    Julian Lettner, Dokyung Song, Taemin Park, Per Larsen, Stijn Volckaert, Michael Franz
    In International Symposium on Research in Attacks, Intrusions and Defenses (RAID), September 2018.

Honors & Awards

Teaching

Undergraduate

Graduate

Academic Service

Program Committee

Organizing Committee