SFuzz: Slice-based Fuzzing for Real-Time Operating Systems. - Libo Chen 001; Quanpu Cai; Zhenbang Ma; Yanhao Wang; Hong Hu 004; Minghang Shen; Yue Liu; Shanqing Guo; Haixin Duan; Kaida Jiang; Zhi Xue (CCS, 2022)

Accurate and Efficient Recurring Vulnerability Detection for IoT Firmware. - Haoyu Xiao; Yuan Zhang 009; Minghang Shen; Chaoyang Lin; Can Zhang; Shengli Liu 003; Min Yang 002 (CCS, 2024)