hadipourh / algebraic-attack-on-biviuma Goto Github PK
View Code? Open in Web Editor NEWIt is a SageMath script, which extracts the BiviumA algebraic equations, and then solves the extracted equations via a SAT solver. Here the Cryptominisat5 is used as a SAT solver.
License: GNU General Public License v3.0