Open Cryptanalysis Platform
☆13Feb 7, 2026Updated 3 weeks ago
Alternatives and similar repositories for OCP
Users that are interested in OCP are comparing it to the libraries listed below
Sorting:
- ☆14Apr 14, 2025Updated 10 months ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆36Jan 13, 2026Updated last month
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Feb 28, 2020Updated 6 years ago
- data-at-rest updatable threshold encryption KMS server and client☆22Jan 23, 2026Updated last month
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Mar 14, 2021Updated 4 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆16May 23, 2023Updated 2 years ago
- This tool is able to construct the MILP model for some bit-oriented block ciphers. once you describe the block-cipher on it, you can do d…☆17Jul 18, 2019Updated 6 years ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 5 years ago
- HiAE - A High-Throughput Authenticated Encryption Algorithm for Cross-Platform Efficiency.☆18Jan 8, 2026Updated last month
- BAT KEM/Signature Reference Implementation☆23Dec 28, 2021Updated 4 years ago
- ☆19Nov 22, 2025Updated 3 months ago
- Software optimized implementations of GIFT and GIFT-COFB☆18Mar 29, 2022Updated 3 years ago
- io_uring based http server☆23May 28, 2025Updated 9 months ago
- 🦎🔑 Secure & fast Passkey (WebAuthn) library for Zig☆30Sep 6, 2025Updated 5 months ago
- ☆25Dec 9, 2024Updated last year
- Implementations of do255e and do255s in C and assembly☆25May 3, 2021Updated 4 years ago
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆30Updated this week
- A Lightweight Zig Library for JSON-RPC 2.0☆48Dec 19, 2025Updated 2 months ago
- Fast constant-time AES implementations on 32-bit architectures☆69Oct 17, 2024Updated last year
- Routino is an application for finding a route between two points using the dataset of topographical information collected by http://www.O…☆15Feb 17, 2012Updated 14 years ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆40Nov 17, 2024Updated last year
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆36Aug 6, 2024Updated last year
- Finalists to the NIST lightweight cryptography competition☆39Jun 29, 2022Updated 3 years ago
- ☆38Dec 16, 2021Updated 4 years ago
- A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).☆38Aug 18, 2025Updated 6 months ago
- ☆13Oct 6, 2020Updated 5 years ago
- Analyze experimental data with Programming by Navigation☆13Updated this week
- Masked implementations of PQ schemes for the Cortex-M4.☆13Nov 18, 2025Updated 3 months ago
- Tool chains of EasyBC☆10Jun 18, 2024Updated last year
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆103Sep 8, 2023Updated 2 years ago
- W3C Data Integrity Specification☆46Aug 14, 2025Updated 6 months ago
- Common MPC Pitfalls☆12Feb 14, 2026Updated 2 weeks ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago
- Leveraging TPM2 TCG Logs (Measured Boot) to Detect UEFI Drivers and Pre-Boot Applications☆22Mar 28, 2025Updated 11 months ago
- A GELF implementation for Rust☆13Feb 6, 2020Updated 6 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 4 months ago
- Make a GitHub Action implemented in Rust☆14Nov 20, 2025Updated 3 months ago