CryptoFormalEval: Integrating Large Language Models and Formal Verification for Automated Detection of Cryptographic Protocol Vulnerabilities
原文英文，约100词，阅读约需1分钟。
📝
内容提要
本研究提出了一种新基准，结合大型语言模型（LLMs）与形式化验证，自动检测密码协议漏洞。研究表明，当前模型在此基准上的表现为网络安全应用提供了新思路，展示了LLMs与符号推理系统集成的潜力。
🏷️
