Web Analytics
S3 Lab - Software & Systems Security Laboratory

cyber-physical systems publications (see more about cyber-physical systems)

2025
2023
Poster: Deterministic Replay and Debugging for Robotic Systems
Md Nazmus Sakib, Seungmok Kim, Zelun Kong, Seulbae Kim, Kyu Hyung Lee, Heejo Lee, and Chung Hwan Kim
In ACSAC 2023 [ pdf :: bibtex ]
2022
2021
PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-metal Embedded Applications
Taegyu Kim, Vireshwar Kumar, Junghwan Rhee, Jizhou Chen, Kyungtae Kim, Chung Hwan Kim, Dongyan Xu, and Dave (Jing) Tian
In USENIX Security 2021 [ pdf :: slides :: bibtex ]
2020
From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY
Taegyu Kim, Chung Hwan Kim, Altay Ozen, Fan Fei, Zhan Tu, Xiangyu Zhang, Xinyan Deng, Dave (Jing) Tian, and Dongyan Xu
In USENIX Security 2020 [ pdf :: slides :: bibtex ]
2019
RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing
Taegyu Kim, Chung Hwan Kim, Junghwan Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, and Dongyan Xu
In USENIX Security 2019 [ pdf :: slides :: bibtex ]
2018
Securing Real-Time Microcontroller Systems through Customized Memory View Switching
Chung Hwan Kim, Taegyu Kim, Hongjun Choi, Zhongshu Gu, Xiangyu Zhang, and Dongyan Xu
In NDSS 2018 [ pdf :: slides :: bibtex ]
2017
RevARM: A Platform-Agnostic ARM Binary Rewriter for Security Applications
Taegyu Kim, Chung Hwan Kim, Hongjun Choi, Yonghwi Kwon, Brendan Saltaformaggio, Xiangyu Zhang, and Dongyan Xu
In ACSAC 2017 [ pdf :: slides :: bibtex ]