Cristian-Curaba/CryptoFormalEval

We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficiency and thoroughness of protocol analysis, paving the way for future AI-powered cybersecurity defenses.

语言：Haskell · GitHub 星标：14 · Fork：2

话题：communication-protocol · cryptography · evaluation · llm-based-agents · llm-benchmarking · llm-reasoning · vulnerability-detection

在 GitHub 上查看原仓库