hadipourh / autoguessLinks
An easy-to-use, general and open-source tool to solve the guess-and-determine problem
☆28Updated this week
Alternatives and similar repositories for autoguess
Users that are interested in autoguess are comparing it to the libraries listed below
Sorting:
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆66Updated this week
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆36Updated 8 months ago
- Code for the paper "Efficient MILP modelings for Sboxes and Linear Layers of SPN ciphers", ToSC 2020.