| Toward Privacy-Preserving Interdomain Configuration Verification via Multi-Party Computation H Xu, Q Qin, X Fang, Q Xiang, J Shu Proceedings of the 7th Asia-Pacific Workshop on Networking, 28-33, 2023 | 3 | 2023 |
| Diagnosing Distributed Routing Configurations Using Sequential Program Analysis R Yang, X Fang, L You, Q Xiang, H Shao, G Han, Z Wang, Z Zhang, J Shu, ... Proceedings of the 7th Asia-Pacific Workshop on Networking, 34-40, 2023 | 2 | 2023 |
| 网络验证研究综述 方星， 胡波， 马超， 黄伟庆 软件学报 34 (1), 351-380, 2021 | 1 | 2021 |
| Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation R Yang, H Shao, G Han, Z Wang, X Fang, L You, Q Xiang, L Kong, ... arXiv preprint arXiv:2409.20306, 2024 | | 2024 |
| Rethinking DNS Configuration Verification with a Distributed Architecture Y Wang, K Yu, Z Wang, K Hu, H Du, Q Xiang, X Fang, G Li, R Zhou, ... Proceedings of the 8th Asia-Pacific Workshop on Networking, 23-30, 2024 | | 2024 |
| Network Can Help Check Itself: Accelerating SMT-based Network Configuration Verification Using Network Domain Knowledge X Fang, F Ding, B Huang, Z Wang, G Han, R Yang, L You, Q Xiang, ... INFOCOM, 2024 | | 2024 |
