S3 Lab - Software & Systems Security Laboratory

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

PASAN: Detecting Peripheral Access Concurrency Bugs within Bare-metal Embedded Applications
Taegyu Kim, Vireshwar Kumar, Junghwan (John) Rhee, Jizhou Chen, Kyungtae Kim, Chung Hwan Kim, Dongyan Xu, and Dave (Jing) Tian
In Security 2021 [ pdf :: slides :: bibtex ]
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 Security 2020 [ pdf :: slides :: bibtex ]
RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing
Taegyu Kim, Chung Hwan Kim, Junghwan (John) Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, and Dongyan Xu
In Security 2019 [ pdf :: slides :: bibtex ]
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 ]
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 ]