CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes

Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu +8

Manual formal analysis of cryptographic schemes is labor-intensive and requires substantial expertise. While model-checking tools (e.g., Scyther and Tamarin) and computational-secu…