Publications

• IWQoS’25: Unleashing the Power of LLM to Infer State Machine From the Protocol Implementation
  Haiyang Wei, Ligeng Chen, Zhengjie Du, Yuhan Wu, Haohui Huang, Yue Liu, Guang Cheng, Fengyuan Xu, Linzhang Wang, Bing Mao
  IEEE/ACM International Symposium on Quality of Service

• CCS’25: Recover Function Signature from Combined Constraints
  Haohui Huang, Yue Liu, Yuxi Cheng, Haiyang Wei, Jiamu Liu, Yu Wang, Linzhang Wang
  ACM Conference on Computer and Communications Security