@misc{indiciaea8ab2a9b157d,
  title = {CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes},
  author = {Zhaoxuan Li and Qionglu Zhang and Hengyuan Liu and Xiaoyan Gu and Xianhui Lu and Hongbo Liu and Bingzheng Wang and Haihui Fan and Ziming Zhao and Rui Zhang and Li Zhou},
  year = {2026},
  doi = {10.1145/3808184},
  url = {https://arxiv.org/abs/2606.25561},
  note = {Source identifier: 2606.25561}
}