Xu Liu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Signature Verification

Network Configuration

Top Venues

Publications

Xu Liu, Peng Zhang, Hao Li, Wenbing Sun
Modular Data Plane Verification for Compositional Networks. PACMNET 1 (CoNEXT3) (2023)
Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, Hao Li
Differential Network Analysis. NSDI (2022)
Peng Zhang, Xu Liu, Hongkun Yang, Ning Kang, Zhengchang Gu, Hao Li
APKeep: Realtime Verification for Real Networks. NSDI (2020)
Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, Zhiqiang Zuo
Incremental Network Configuration Verification. HotNets (2020)