hadipourh / zeroplusLinks
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
☆14Updated 5 months ago
Alternatives and similar repositories for zeroplus
Users that are interested in zeroplus are comparing it to the libraries listed below
Sorting:
- Fastgcd is a C implementation of an efficient algorithm to compute the pairwise GCDs of a collection of integers. The algorithm is due to…☆17Updated last year
- An easy-to-use, general and open-source tool to solve the guess-and-determine problem☆28Updated this week
- ☆20Updated 6 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Updated 4 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- ☆41Updated last year
- Go Library (and program) to perform pairwise gcd on batches of RSA moduli☆11Updated 10 years ago
- BAT KEM/Signature Reference Implementation☆23Updated 4 years ago
- ☆12Updated 5 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- C++ STL for speed and cryptanalytic application☆11Updated 3 weeks ago
- Tools for power measurements of post-quantum cryptographic algorithms☆30Updated 6 years ago
- Open Cryptanalysis Platform☆11Updated this week
- ☆12Updated 4 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆34Updated 2 months ago
- Reference implementations of post-quantum cryptographic primitives☆33Updated 4 months ago
- Constant-time choose between two variables in Clang/LLVM☆20Updated 7 years ago
- ☆28Updated 4 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Updated 3 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆28Updated last year
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- ☆19Updated last month
- ☆12Updated 6 years ago
- Code to fuzz bignum libraries☆46Updated 7 years ago
- poststructural fuzzing☆31Updated 5 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Updated 2 months ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago