Scaver: A Scalable Verification System for Programmable Network. - Ying Yao; Zixi Cui; Le Tian 002; Menglong Li; Fan Pan; Yuxiang Hu 004 (FMANO@SIGCOMM, 2024)

Alternating Guided Training for Robust Adversarial Defense. - Xinlei Liu 004; Chunlai Ma; Bo Chen; Tao Hu 002; Hailong Ma; Peng Yi 003; Yiming Jiang 002; Yuxiang Hu 004 (ICMR, 2025)

AssertGPT: LLM-driven assertion generation for programmable networks verification. - Ying Yao; Le Tian 002; Yuxiang Hu 004; Pengshuai Cui; Xiaobo Guo; Kai Li (Comput. Commun., 2026)

In-network computing-based malicious traffic filtering for multi-tenant cloud environments. - Qi Zhan; Le Tian 002; Pengshuai Cui; Yuxiang Hu 004; Jiqiang Xia; Jiangxing Wu (Comput. Secur., 2026)

CoMARL: A cooperative game and MARL-based intrusion-tolerant scheduling method for microservice in cloud-edge collaborative networks. - Jinchuan Pei; Yuxiang Hu 004; Hongtao Yu; Le Tian; Zihao Wang; Xinglong Pei (Future Gener. Comput. Syst., 2026)