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