I am an Assistant Professor in Department of Electrical Engineering and Computer Science (EECS) at DGIST. I earend 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.

Prospective Students: I am looking for undergraduate/graduate students working with me. There are research opportunities in the areas of Cyber-Physical Systems Security. Please email me if you are interested.

Publications

Teaching

  • IC899: Special Topics in Cyber-Physical Systems - CPS Security (Graduate) [Fall 2022]

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

Activities

  • Program Committee:
    -  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
  • 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