@misc{indiciae0c1a3e8bbcbd,
  title = {LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We?},
  author = {Tianjian Liu and Shicheng Feng and Jin'ao Shang and Xiaoting Lyu and Bin Wang and Zonghua Zhang and Lei Xue and Wei Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2609.35434},
  note = {Source identifier: 2609.35434}
}