Sharing More and Checking Less: Leveraging Common Input Keywords to Detect Bugs in Embedded Systems. - Libo Chen 001; Yanhao Wang; Quanpu Cai; Yunfan Zhan; Hong Hu 004; Jiaqi Linghu; Qinsheng Hou; Chao Zhang 008; Haixin Duan; Zhi Xue (USENIX Security Symposium, 2021)

SaTC: Shared-Keyword Aware Taint Checking for Detecting Bugs in Embedded Systems. - Libo Chen 001; Yanhao Wang; Jiaqi Linghu; Qinsheng Hou; Quanpu Cai; Shanqing Guo; Zhi Xue (IEEE Trans. Dependable Secur. Comput., 2024)