RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing. - Taegyu Kim; Chung Hwan Kim; Junghwan Rhee; Fan Fei 002; Zhan Tu; Gregory Walkup; Xiangyu Zhang 001; Xinyan Deng; Dongyan Xu (USENIX Security Symposium, 2019)

Forensic Investigation of Industrial Control Systems Using Deterministic Replay. - Gregory Walkup; Sriharsha Etigowni; Dongyan Xu; Vincent Urias; Han W. Lin (CNS, 2020)

ATLAS: A Sequence-based Learning Approach for Attack Investigation. - Abdulellah Alsaheel; Yuhong Nan; Shiqing Ma; Le Yu; Gregory Walkup; Z. Berkay Celik; Xiangyu Zhang 001; Dongyan Xu (USENIX Security Symposium, 2021)