李亚慧-清华大学网络科学与网络空间研究院

研究概况

主要从事网络形式化验证与测试、网络测量测绘、网络态势感知等相关研究，在计算机网络领域的高水平国际会议与期刊上（IEEE Communications Surveys & Tutorial、TACAS、TPDS、TON、INFOCOM、ICNP、CN）发表学术论文多篇，主持国家自然科学基金、博士后基金等项目，作为研究骨干参与国家重点研发计划等多个项目。近期主要研究方向包括：
1.网络形式化验证：针对大规模骨干网、数据中心网络、校园网等不同场景，研究网络路由与转发的形式化模型，分析网络配置中潜在语义错误，验证网络的可靠性和安全性。
2.网络异常检测与异常定位：以网络控制平面消息、网络数据平面报文等大数据为基础，采用机器学习、深度学习以及网络溯源技术等进行异常检测和异常定位的研究。
3.网络态势感知：研究网络空间主动探测与被动测量技术，协同多源异构网络数据，在时间或者空间上进行安全态势评估与预测。

学术成果

[1] Yahui Li, Han Zhang, Jilong Wang, Xingang Shi, Xia Yin, Zhiliang Wang, Jiankun Hu, Congcong Miao, Jianping Wu: Proactively Verifying Quantitative Network Policy Across Unsafe and Unreliable Environments. IEEE Transactions on Information Forensics and Security (TIFS). 19: 10099-10113 (2024)

[2] Yahui Li, Han Zhang, Jilong Wang, Xingang Shi, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu: A General Approach to Generate Test Packets With Network Configurations. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2023, 34(4): 1362-1375.

[3] Xinzhe Liu, Yahui Li, Han Zhang, Xia Yin, Xingang Shi, Zhiliang Wang, Gang Ren, Jiangyuan Yao: Poster: Scalable and Interpretable Multilayer Overlay Network Checking via Ensemble Verification. SIGCOMM (Posters and Demos) 2024: 22-24

[4] Jun He, Yahui Li, Han Zhang, Changqing An, Jilong Wang: ROV-GD: Improving the Measurement of ROV Deployment Using Graph Difference. ISCC 2024: 1-7

[5] Jun He,Yahui Li; Han Zhang, Changqing An, Jilong Wang: Be Careful of Your Neighbors: Injected Sub-prefix Hijacking Invisible to Public Monitors, 2023 IEEE International Conference on Communications (ICC): Communication and Information System Security Symposium, Rome RM Italy, 2023-5-28

[6] Ming Wang,Yahui Li, Han Zhang, Anlun Hong,Jun He, Jilong Wang: Knocking Cells: Latency-Based Identification of IPv6 Cellular Addresses on the Internet. Proceedings - IEEE Symposium on Computers and Communications, Gammarth, Tunisia, 2023-6-20

[7] Allen Hong, Yahui Li, Han Zhang, Ming Wang,Changqing An, Jilong Wang: A cheap and accurate delay-based IP Geolocation method using Machine Learning and Looking Glass, 2023 IFIP Networking Conference, IFIP Networking 2023, Barcelona, Spain, 2023-7-10

[8] Lei Shi, Yahui Li, Boon Thau Loo, Rajeev Alur: Network Traffic Classification by Program Synthesis. TACAS (1) 2021: 430-448

[9] Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Fangdan Ye, Jiangyuan Yao, Han Zhang: Assisting reachability verification of network configurations updates with NUV. Comput. Networks 177: 107326 (2020)

[10] Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu, Han Zhang: MSAID: Automated detection of interference in multiple SDN applications. Comput. Networks 153: 49-62 (2019)

[11] Yahui Li, Xia Yin, Zhiliang Wang, Jiangyuan Yao, Xingang Shi, Jianping Wu, Han Zhang, Qing Wang: A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges. IEEE Commun. Surv. Tutorials 21(1): 940-969 (2019)

[12] Han Zhang, Haijun Geng, Yahui Li, Xia Yin, Xingang Shi, Zhiliang Wang, Qianhong Wu, Jianwei Liu: DA&FD-Deadline-Aware and Flow Duration-Based Rate Control for Mixed Flows in DCNs. IEEE/ACM Trans. Netw. 27(6): 2458-2471 (2019)

[13] Zhiliang Wang, Han Zhang, Xingang Shi, Xia Yin, Yahui Li, Haijun Geng, Qianhong Wu, Jianwei Liu: Efficient Scheduling of Weighted Coflows in Data Centers. IEEE Trans. Parallel Distributed Syst. 30(9): 2003-2017 (2019)

[14] Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo: Efficient network configuration verification using optimized datalog. INFOCOM Workshops 2018: 1-2

[15] Yahui Li, Zhiliang Wang, Jiangyuan Yao, Xia Yin, Xingang Shi, Jianping Wu: MSAID: Automated interference detection for multiple SDN applications. ICNP 2017: 1-2