Guangying Cai

According to our database, Guangying Cai authored at least 1 paper in 2024.

Collaborative distances:

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

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