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

该论文提出了CrypFormBench，一个用于评估大型语言模型（LLM）在密码方案形式化分析能力的综合性基准。手动形式化分析密码方案需要大量专业知识和劳动力，虽然已有模型检测工具（如Scyther、Tamarin）和计算安全工具（如Cry

历史摘要 · 未重新核验 · arXiv cs.CR