hadipourh / zeroplusLinks
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
☆13Updated 3 months ago
Alternatives and similar repositories for zeroplus
Users that are interested in zeroplus are comparing it to the libraries listed below
Sorting:
- An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges☆28Updated 2 months ago
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- ☆20Updated 5 years ago
- ☆12Updated 3 years ago
- Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things☆36Updated 2 years ago
- ☆11Updated 4 years ago
- An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes☆30Updated 4 months ago
- Differential fuzzing for elliptic curves☆23Updated last year
- BAT KEM/Signature Reference Implementation☆22Updated 3 years ago
- Tornado is a compiler producing masked bitsliced implementations proven secure in the bit/register probing model☆18Updated 4 years ago
- Clang/LLVM patches to zero stack/registers of sensitive functions☆14Updated 7 years ago
- C++ STL for speed and cryptanalytic application☆10Updated last month
- SageMath/Python Toolkit for Cryptanalytic Research☆40Updated last month
- 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
- Attacks on Jarvis and Friday☆10Updated 5 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- ☆12Updated 5 years ago
- List of crackpot 'scientists' and 'thinkers'☆19Updated this week
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- Constant-time choose between two variables in Clang/LLVM☆20Updated 7 years ago
- ☆36Updated 3 years ago
- ☆40Updated last year
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- ☆16Updated 2 weeks ago
- ☆12Updated 2 years ago
- ☆15Updated 4 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- Cryptanalysis code for the SIMON and SPECK families of block ciphers☆20Updated 9 years ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆27Updated 7 years ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.☆14Updated 4 years ago