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
Mar 29, 2025 - Python