Auditing Applied Cryptography
☆11Sep 26, 2019Updated 7 years ago
Alternatives and similar repositories for cryptobible
Users that are interested in cryptobible are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 4 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Dec 20, 2019Updated 6 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 4 years ago
- Differential fuzzing for elliptic curves☆25Sep 6, 2023Updated 3 years ago
- Elliptic curve search experiments☆36Mar 6, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.☆31Aug 5, 2024Updated 2 years ago
- Collaborative repository to catalogue insecure functions in various programming languages.☆11May 9, 2022Updated 4 years ago
- Curve ecGFp5☆73Mar 31, 2022Updated 4 years ago
- Notebooks showing how to use CryptoUtilities☆14Apr 17, 2025Updated last year
- An advanced, full-stack AI-driven code review system built using the MERN stack (MongoDB, Express.js, React.js, Node.js), designed to rev…☆14Jul 1, 2026Updated 4 months ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 5 years ago
- HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).☆30Feb 29, 2020Updated 6 years ago
- Optimizations for Pairing-Based Cryptography☆17Sep 10, 2021Updated 5 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Towards an IETF RFC for XChaCha20-Poly1305☆28Jan 10, 2020Updated 6 years ago
- A Rust implementation of the Strobe protocol framework☆28Sep 20, 2026Updated last month
- Schnorr signatures over big curves for Ledger devices. group arithmetic & key derivation for unusual elliptic curves.☆13Apr 9, 2020Updated 6 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆44Oct 8, 2020Updated 6 years ago
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆16Aug 25, 2020Updated 6 years ago
- ENE is an end-to-end encryption tool designed for mail.☆14Sep 30, 2018Updated 8 years ago
- tamper resistant audit log☆18Aug 30, 2018Updated 8 years ago
- Rust port of the Tamarin Prover☆14Updated this week
- ☆10Nov 21, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- a protocol to encrypt communications and a cryptographic library based on Disco☆208Dec 11, 2020Updated 5 years ago
- Fastgcd is a C implementation of an efficient algorithm to compute the pairwise GCDs of a collection of integers. The algorithm is due to…☆17May 13, 2024Updated 2 years ago
- Small, self-contained C implementation of Ristretto255 based on libdecaf☆13Apr 4, 2019Updated 7 years ago
- Blind RSA signatures for OpenSSL/BoringSSL.☆17Sep 25, 2026Updated last month
- A pure rust implementation of the gimli cipher☆13Jan 26, 2022Updated 4 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆61Sep 21, 2022Updated 4 years ago
- BLS working standard draft☆39Aug 8, 2019Updated 7 years ago
- An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.☆63Sep 4, 2023Updated 3 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Aug 9, 2016Updated 10 years ago
- Summaries of findings from Ampleforth audits☆12Jun 2, 2025Updated last year
- go implementation of anchorhash☆15Nov 19, 2020Updated 5 years ago
- ☆12May 7, 2021Updated 5 years ago
- Crypto Audit Guidelines☆135Dec 28, 2020Updated 5 years ago
- U2f implementation with threshold signatures☆16Nov 24, 2020Updated 5 years ago
- ☆12Jan 24, 2023Updated 3 years ago