Liujia Cai

According to our database, Liujia Cai authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

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., June, 2025

EUAV: An enhanced blockchain-based two-factor anonymous authentication key agreement protocol for UAV networks.

Yidan Liu, Liujia Cai, Haoyuan Xue, Bing Gao, Xiangyu Wang, Siqi Lu, Yongjuan Wang

Comput. Networks, 2025

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

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

Proceedings of the 23rd IEEE International Conference on Trust, 2024