TY  - RPRT
TI  - LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?
AU  - Tianjian Liu
AU  - Shicheng Feng
AU  - Jin'ao Shang
AU  - Xiaoting Lyu
AU  - Bin Wang
AU  - Zonghua Zhang
AU  - Lei Xue
AU  - Wei Wang
PY  - 2026
UR  - https://arxiv.org/abs/2609.35434
ID  - 2609.35434
ER  -