An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
cryptography cryptanalysis python3 milp constraint-programming smt sat groebner-basis stream-ciphers blockcipher sat-solver-application guess-and-determine key-bridging
-
Updated
Nov 4, 2024 - Python