ProtocolGuard: Detecting Protocol Non-compliance Bugs via LLM-guided Static Analysis and Dynamic Verification. - Xiangpu Song; Longjia Pei; Jianliang Wu 002; Yingpei Zeng; Gaoshuo He; Chaoshun Zuo; Xiaofeng Liu 013; Qingchuan Zhao; Shanqing Guo (NDSS, 2026)