Divide and Conquer: Efficient Multi-path Validation with ProMPV. - Anxiao He; Yubai Xie; Wensen Mao; Tienpei Yeh (QSHINE, 2019)

Atomos: Constant-Size Path Validation Proof. - Anxiao He; Kai Bu; Yucong Li; Eikoh Chida; Qianping Gu; Kui Ren 001 (IEEE Trans. Inf. Forensics Secur., 2020)

Hummingbird: Dynamic Path Validation With Hidden Equal-Probability Sampling. - Anxiao He; Xiang Li 001; Jiandong Fu; Haoyu Hu; Kai Bu; Chenlu Miao; Kui Ren 001 (IEEE Trans. Inf. Forensics Secur., 2023)

Symphony: Path Validation at Scale. - Anxiao He; Jiandong Fu; Kai Bu; Ruiqi Zhou; Chenlu Miao; Kui Ren 001 (NDSS, 2024)

SwiftParade: Anti-Burst Multipath Validation. - Anxiao He; Kai Bu; Jiongrui Huang; Yifei Pang; Qianping Gu; Kui Ren 001 (IEEE Trans. Dependable Secur. Comput., 2024)