踏步视ּּּּּּ线ּ

是一款面向密码研究者、代数密码学者的代数密码分析工具，具有六大核心功能，密码系统代数表示分为AES、DES两种密码系统生成代数表示；SAT求解器攻击支持CNF格式、布尔表达式、密码约束来求解；格罗布纳基攻击可以使用字典序、度反字典序和消除序求解多项式方程组；对称密码分析针对AES、DES、SM4加密算法，集成差分、线性、代数等分析手段分析密码强度；代数复杂度分析利用时间、空间、代数来计算复杂度；侧信道攻击建模运用功耗、时间、电磁等生成攻击模型。