Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Liujia Cai
Observed name:
Cai, Liujia
Institution:
PLA Information Engineering University
Observed institution:
PLA Information Engineering University
ORCID:
0009-0004-1113-4677
Observed ORCID:
0009-0004-1113-4677
OpenAlex ID:
A5102623022
EUAV: An enhanced blockchain-based two-factor anonymous authentication key agreement protocol for UAV networks
2025
·
Yidan Liu
, Liujia Cai
, et al.
·
Computer Networks
·
7
Enhancing privacy and security in IoT: a CoAP protocol analysis and improvement approach
2025
·
Guangying Cai
, Liujia Cai
, et al.
·
The Journal of Supercomputing
·
2
PSI-TR-ABE: A Traceable and Policy-Hidden Attribute-Based Encryption Scheme for Medical Data Sharing
2025
·
Ye Feng
, Siqi Lu
, et al.
·
IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
·
1
Observational equivalence and security games: Enhancing the formal analysis of security protocols
2024
·
Liujia Cai
, Guangying Cai
, et al.
·
Computers & Security
·
1
PDF
Symbolic TLS Channel Model Artifact
2026
·
Cai, Liujia
, Lu, Siqi
, et al.
·
Zenodo (CERN European Organization for Nuclear Research)
Formal analysis of CAS under malicious service providers: Implications for trust-aware deployments
2026
·
Liujia Cai
, Siqi Lu
, et al.
·
Computers & Security
Unveiling Authentication Forgery in OpenID Connect under Web Frameworks: A Formal Analysis of CSRF-Based Attack Paths
2026
·
Xingyun Hu
, Siqi Lu
, et al.
·
Computers, materials & continua/Computers, materials & continua (Print)
PDF
Adversary Leverage in Security Protocols for Service Computing: Abstraction, Modeling, and Automated Analysis
2026
·
Liujia Cai
, Siqi Lu
, et al.
·
IEEE Transactions on Services Computing
SM2-VBKE: Achieving Cryptographic Binding Between Verification Integrity and Key Generation
2025
·
Runze Zhao
, Siqi Lu
, et al.
·
Lecture notes in computer science
SyntaxBridge: Protocol Description Transformer for Enhanced Formal Analysis of Security Protocols
2024
·
Liujia Cai
, Tong Yu
, et al.
·
IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)
Show more works
View as search
Works count:
10
Citation count:
11
H-index:
2
I10-index:
Year
Topic
Type
