Anxiao He

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Multi Path Routing

Theorem Proving

Mobile Ad Hoc Networks

Top Venues

IEEE Trans. Inf. Forensics Secur.

IEEE Trans. Dependable Secur. Comput.

Publications

Anxiao He, Kai Bu, Jiongrui Huang, Yifei Pang, Qianping Gu, Kui Ren
SwiftParade: Anti-Burst Multipath Validation. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Anxiao He, Xiang Li, Jiandong Fu, Haoyu Hu, Kai Bu, Chenlu Miao, Kui Ren
Hummingbird: Dynamic Path Validation With Hidden Equal-Probability Sampling. IEEE Trans. Inf. Forensics Secur. 18 (2023)
Anxiao He, Kai Bu, Yucong Li, Eikoh Chida, Qianping Gu, Kui Ren
Atomos: Constant-Size Path Validation Proof. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Anxiao He, Yubai Xie, Wensen Mao, Tienpei Yeh
Divide and Conquer: Efficient Multi-path Validation with ProMPV. QSHINE (2019)