Get started
Author

Tianjian Liu

Observed name: Liu, Tianjian
Observed institution: Xi'an Jiaotong University
OpenAlex ID: A5153479969
LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?
2026 · Liu, Tianjian, Feng, Shicheng, et al. · arXiv (Cornell University)
PDF
Works count: 1
Citation count:
H-index:
I10-index:
Year
Topic
Type