LI Yahui

Title: Assistant Researcher

Phone: +86-10-62603272

Email: liyahui@tsinghua.edu.cn

Ph.D. in Engineering (Computer Science and Technology), Tsinghua University, China, 2020

B.Eng. in Engineering (Software Engineering), Jilin University, China, 2015

Cyberspace Security

Formal Verification and Testing of Networks

Network Measurement and Mapping

Cyberspace Situation Awareness

The research primarily focuses on formal verification and testing of networks, network measurement and mapping, and network situational awareness. Multiple academic papers have been published in top-tier international conferences and journals in the field of computer networks, such as IEEE Communications Surveys & Tutorials, TACAS, TPDS, TON, INFOCOM, ICNP, and Computer Networks (CN). The researcher has led projects funded by the National Natural Science Foundation of China and the China Postdoctoral Science Foundation, and has also served as a key contributor in several National Key R\&D Program projects. The current main research directions include:

1. Network Formal Verification: Developing formal models for routing and forwarding in diverse network scenarios, including large-scale backbone networks, data center networks, and campus networks. The goal is to detect potential semantic errors in network configurations and verify the reliability and security of the network.
2. Network Anomaly Detection and Localization: Leveraging large-scale data from control plane messages and data plane packets, this research explores anomaly detection and fault localization using machine learning, deep learning, and network provenance techniques.
3. Network Situational Awareness: Investigating active probing and passive measurement technologies for cyberspace, and integrating multi-source heterogeneous network data to perform security posture assessment and prediction over temporal and spatial dimensions.

[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