Guangying Cai

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Security Protocols

Formal Analysis

Automated Design

Resource Constrained

Top Venues

Publications

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