PyPI page
Home page
Author:
None
Summary:
Automated guess-and-determine and key-bridging attacks on symmetric-key cryptographic primitives
Latest version:
1.2.21
Required dependencies:
dot2tex
|
graphviz
|
pysmt
|
python-sat
|
setuptools
Optional dependencies:
autoguess
|
build
|
cvc5
|
gurobipy
|
minizinc
|
passagemath-standard
|
pytest
|
twine
|
z3-solver
Downloads last day:
35
Downloads last week:
98
Downloads last month:
398