Secure Systems Lab @ Yonsei University

2025

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

  2. Moneta: Ex-Vivo GPU Driver Fuzzing by Recalling In-Vivo Execution States (To appear)
    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.
    System Kernel Program Analysis

2024

  1. 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.
    Compiler Program Analysis

2023

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

2022

  1. 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.
    System Mobile Machine Learning

  2. 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.
    Binary Analysis Machine Learning

2021

  1. dMVX: Secure and Efficient Multi-Variant Execution in a Distributed Setting [paper]
    Alexios Voulimeneas, Dokyung Song, Per Larsen, Michael Franz, Stijn Volckaert
    In European Workshop on Systems Security (EuroSec), April 2021.
    System Defense Kernel

2020

  1. 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.
    System Kernel Program Analysis

  2. 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.
    System Defense Kernel

2019

  1. 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.
    Compiler Program Analysis

  2. 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.
    System Kernel Program Analysis

2018

  1. 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.
    Compiler Program Analysis