Login / Signup
Liujia 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
Comput. Secur.
</>
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)