Corpora used to seed NSS' fuzzing targets
☆10Mar 1, 2026Updated last week
Alternatives and similar repositories for nss-fuzzing-corpus
Users that are interested in nss-fuzzing-corpus are comparing it to the libraries listed below
Sorting:
- Differential fuzzing for elliptic curves☆24Sep 6, 2023Updated 2 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- ☆30Jan 7, 2021Updated 5 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 6 years ago
- ☆12May 31, 2018Updated 7 years ago
- C++ implementation of VSS using LWE encryption and proofs☆15Oct 18, 2021Updated 4 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 2 years ago
- Tools for stress testing applications.☆12Sep 20, 2020Updated 5 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- ☆12Jun 14, 2023Updated 2 years ago
- Ditto.☆18Jul 23, 2020Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- ☆45Apr 12, 2022Updated 3 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 5 years ago
- ☆16Dec 22, 2019Updated 6 years ago
- ☆19Aug 15, 2024Updated last year
- ☆22Dec 6, 2023Updated 2 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Nov 9, 2015Updated 10 years ago
- PoCs discovered through fuzzing which resulted in a CVE assignment.☆19Feb 14, 2020Updated 6 years ago
- ☆19Dec 9, 2022Updated 3 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Jul 10, 2020Updated 5 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Jan 25, 2025Updated last year
- Python module to detect, analyze and id application bugs☆21May 23, 2025Updated 9 months ago
- Code to fuzz bignum libraries☆46Nov 11, 2018Updated 7 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆24Updated this week
- ☆28Apr 18, 2024Updated last year
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Jun 10, 2017Updated 8 years ago
- 一个zip文件口令破解机☆20Jul 31, 2016Updated 9 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆28Nov 29, 2022Updated 3 years ago
- 3D Accelerated Exploitation☆54Feb 22, 2019Updated 7 years ago
- VxWorks Fuzzer with AFL and QEMU☆49Apr 12, 2020Updated 5 years ago
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated last month
- Measure Basic Blocks coverage of all testcases in the AFL queue using a patched QEMU☆23Jan 15, 2024Updated 2 years ago
- Holistic Greybox Fuzzing of Multi-Language Systems☆27Oct 15, 2022Updated 3 years ago
- A fuzzer. Work in progress!☆21Sep 8, 2017Updated 8 years ago
- ☆23Nov 2, 2021Updated 4 years ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago