I am an Assistant Professor in Department of Electrical Engineering and Computer Science (EECS) at DGIST. I earned my Ph.D in Computer Science from Purdue University under the direction of Professor Xiangyu Zhang. My research interest lies in software and systems security in general. In particular, I am currently focusing on security and reliability of autonomous cyber-physical systems, such as an unmanned aerial vehicle (UAV, commonly known as a drone), a self-driving car. My current work deals with fundamental security issues in these CPS, including attack and defense, vulnerability discovery and elimination, and CPS forensics.

Publications

Projects

  • CPS Attack Detection
    -  CI Monitoring: physical attack detection based on Control Invariant (CI) monitoring
  • CPS Attack Resilience
    -  Software Sensor: the first software-based sensor approach for attack-resilient control of robotic vehicles
  • CPS Control Program Analysis -- Vulnerability/Defects Anlaysis
    -  Control Program Analysis: automated Cyber-Physical inconsistency (CPi) vulnerability identification
    -  FrameChecker: a static anlysis tool for detecting reference frame inconsistencies [ artifact]
  • CPS After-attack/accident Investigation
    -  CPS Forensics: post-mortem attack investigation of robotic vehicles
  • Cyber-Physical Attacks
    -  Physical Attack on Autonomous Vehicles: optimal adversarial patches to attack monocular depth estimation modules in autonomous driving

Grants

  • NRF Outstanding Young Researcher (우수신진연구) by National Research Foundation (NRF), 720,000K (KRW) for 3/2023-2/2028
  • DGIST Faculty Start-up Fund (교원정착금) by Daegu Gyeongbuk Institute of Science & Technology (DGIST), 300,000K (KRW) for 9/2022-12/2025

Activities

  • Program Committee:
    -  ACM Conference on Computer and Communications Security (CCS), Program Committee, 2023
    -  IEEE Symposium on Security and Privacy (IEEE S&P), Shadow Program Committee, 2021
    -  USENIX Security, Artifact Evaluation Committee, 2022
    -  IEEE Conference on Dependable and Secure Computing (IEEE DSC), Program Committee, 2022
    -  International Symposium on Research in Attacks, Intrusions and Defenses (RAID), Program Committee, 2023
  • Sub-reviewer:
    -  ACM Conference on Computer and Communications Security (CCS), 2020, 2019, 2016, 2015
    -  USENIX Security Symposium (USENIX Security), 2022, 2021, 2018
    -  Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2015
    -  IEEE Secure Development Conference (SecDev), 2017
    -  International Symposium on Engineering Secure Software and Systems (ESSOS), 2017
    -  ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2022, 2020, 2018, 2016
    -  International Conference on Software Engineering (ICSE), 2022, 2020, 2017
    -  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2017
  • Journal Reviewer:
    - IEEE Internet of Things Journal, 2020

Teaching

  • CSE405: Introduction to Computer Security (Undergraduate) [Spring 2023]
  • IC899: Special Topics in Cyber-Physical Systems - CPS Security (Graduate) [Fall 2022]