CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
Authors: Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu, Xiaoyan Gu, Xianhui Lu, Hongbo Liu, Bingzheng Wang, Haihui Fan, Ziming Zhao, Rui Zhang, Li Zhou | Published: 2026-06-24
