Wenwu Yan

According to our database, Wenwu Yan authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

SPPsolver: a SAT-based algorithm for solving any stable paths problem correctly.

Wenwu Yan, Bo Hu, Weiqing Huang, Chao Ma, Xiaobin Tian, Min Yu

Cybersecur., December, 2025

UPEA: A Novel BGP Convergence Verification Algorithm with Zero False Positives and Minimal False Negatives.

Wenwu Yan, Bo Hu, Weiqing Huang, Chao Ma, Xiaobin Tian, Dong Wei

Proceedings of the 33rd IEEE International Conference on Network Protocols, 2025