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.
☆14Jun 30, 2025Updated last year
Alternatives and similar repositories for CryptoFormalEval
Users that are interested in CryptoFormalEval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17May 12, 2025Updated last year
- FMV - FRAM Model Visualiser☆17Oct 27, 2025Updated last year
- 新的阿里云先知社区文章爬虫☆15Apr 11, 2026Updated 6 months ago
- GUI for testing Android phones for the Rowhammer bug☆10Dec 6, 2018Updated 7 years ago
- ☆31Sep 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17May 15, 2026Updated 5 months ago
- Bose–Chaudhuri–Hocquenghem Codec☆14Mar 19, 2026Updated 7 months ago
- Onsite Analysis Infrastructure☆16Jun 23, 2020Updated 6 years ago
- This details how I create and use my password cracking setup☆34Nov 4, 2022Updated 4 years ago
- ☆20Nov 2, 2026Updated last week
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 9 months ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- A focused web crawler that uses Machine Learning to fetch better relevant results.☆13Jan 12, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 3 weeks ago
- [EMNLP 2026] - Official repo for paper: "RainbowPlus: Enhancing Adversarial Prompt Generation via Evolutionary Quality-Diversity Search"☆14Oct 27, 2026Updated last week
- This is a Tamarin model of TLS 1.3☆45Aug 19, 2023Updated 3 years ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- This is a Tamarin model of TLS 1.3☆10Apr 19, 2023Updated 3 years ago
- On the TOCTOU Problem in Remote Attestation☆15Jun 4, 2024Updated 2 years ago
- my ctf chals☆11Jul 7, 2025Updated last year
- Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)☆11May 3, 2024Updated 2 years ago
- A semantic-based tool to detect credential leakage in mini-apps.☆19Sep 8, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OpenPGP smart card minidriver☆14Nov 6, 2024Updated 2 years ago
- Awesome list of formal verification tools, verified systems, papers, and learning resources☆16Oct 31, 2026Updated last week
- Custom Meshtastic firmware : Include BLE Sniffing☆12Nov 2, 2026Updated last week
- CSDN 博客导出工具, 用于将 CSDN 博客导出为 Markdown / PDF 格式☆15Sep 25, 2024Updated 2 years ago
- Use json web tokens to authenticate solidus api requests☆12May 24, 2023Updated 3 years ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆27Aug 16, 2026Updated 2 months ago
- A tool to infer the security handshake state machine of a given WiFi router. Useful for vulnerability analysis☆16Oct 19, 2022Updated 4 years ago
- Optimization bugs found in popular quantum computing SDKs due to poor numerical handling☆12Oct 12, 2026Updated 3 weeks ago
- Modality-Agnostic Self-Supervised Learning with Meta-Learned Masked Auto-Encoder (NeurIPS 2023)☆11Jun 5, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Jan 10, 2024Updated 2 years ago
- 简单的BP神经网络Python实现，自定义神经元层数和数量，单次输入/输出均为一维列表☆10Apr 12, 2018Updated 8 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- A collection of awesome penetration testing resources, tools and other shiny things☆14Oct 10, 2017Updated 9 years ago
- ☆15May 17, 2024Updated 2 years ago
- AutoGRD is a meta-learning method for algorithm recommendation☆16Nov 26, 2019Updated 6 years ago
- ☆12Jul 26, 2026Updated 3 months ago
Are these results useful?