TY  - RPRT
TI  - CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
AU  - Zhaoxuan Li
AU  - Qionglu Zhang
AU  - Hengyuan Liu
AU  - Xiaoyan Gu
AU  - Xianhui Lu
AU  - Hongbo Liu
AU  - Bingzheng Wang
AU  - Haihui Fan
AU  - Ziming Zhao
AU  - Rui Zhang
AU  - Li Zhou
PY  - 2026
DO  - 10.1145/3808184
UR  - https://arxiv.org/abs/2606.25561
ID  - 2606.25561
ER  -