SyntaxBridge: Protocol Description Transformer for Enhanced Formal Analysis of Security Protocols. - Liujia Cai; Tong Yu; Yumeng Li; Siqi Lu; Hanjie Dong; Guangying Cai; Guangsong Li; Yongjuan Wang (TrustCom, 2024)

Observational equivalence and security games: Enhancing the formal analysis of security protocols. - Liujia Cai; Guangying Cai; Siqi Lu; Guangsong Li; Yongjuan Wang (Comput. Secur., 2024)

Enhancing privacy and security in IoT: a CoAP protocol analysis and improvement approach. - Guangying Cai; Liujia Cai; Xinyue Cui; Siqi Lu; Yongjuan Wang; Xiangyu Wang; Haoyuan Xue (J. Supercomput., 2025)