Is It Possible to Automatically Port Kernel Modules? - Yanjie Zhen; Wei Zhang; Zhenyang Dai; Junjie Mao; Yu Chen 004 (APSys, 2018)

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. - Zhenyang Dai; Shuang Liu; Vilhelm Sjöberg; Xupeng Li; Yu Chen 004; Wenhao Wang 001; Yuekai Jia; Sean Noble Anderson; Laila Elbeheiry; Shubham Sondhi; Yu Zhang; Zhaozhong Ni; et al. (ASPLOS (2), 2024)

SeWi: A Framework Enhancing CSI-Based Human Activity Recognition. - Wei Zhang; Jiayuan Li; Fei Ge; Jianyuan Hu; Zhenyang Dai; Xinyu Cao; Zhimin Yang; Xiaowei Shuai (ICIC (5), 2024)

Human Activity Recognition Based on Self-Attention Mechanism in WiFi Environment. - Fei Ge; Zhimin Yang; Zhenyang Dai; Liansheng Tan; Jianyuan Hu; Jiayuan Li; Han Qiu 017 (IEEE Access, 2024)