公开(公告)号：CN120074796A

公开(公告)日：2025-05-30

申请号：CN202510232380.X

申请日：2025-02-28

Applicant: 桂林电子科技大学

Inventor： 李灵琛 ,  吴怿恒

IPC: H04L9/00

Abstract: 本发明公开基于状态值传播与MILP的不可能差分区分器搜索方法，该方法刻画了比特级状态值的传播，将区分器分为轮与轮的两段，在MILP模型中加入状态值在每一轮中传播的约束条件，并且在第轮处添加新的约束条件以检验矛盾点，并以模型可解判断区分器有效。通过对S盒的状态值传播模式进行划分，以及生成更高效不等式，提高搜索不可能差分区分器时Gurobi求解器的模型求解速度。此外该方法在刻画相对复杂的非线性层操作时，通过对传播模式的点进行划分子集以及不等式优化等方法，减少刻画非线性层所需要的不等式数量。并且使用算法降低不等式系数，缩小求解器所需搜索的解空间，提高模型整体的求解速度。

公开(公告)号：CN120074805A

公开(公告)日：2025-05-30

申请号：CN202510232157.5

申请日：2025-02-28

Applicant: 桂林电子科技大学

Inventor： 李灵琛 ,  吴怿恒

IPC: H04L9/06

Abstract: 本发明公开了基于非受干扰比特与MILP的不可能差分区分器搜索方法。该方法主要针对轻量级分组密码，将经过线性与非线性操作前后的差分值关系转化为线性约束条件，并将这些约束条件加入到MILP模型中。并且为了检测到区分器中间轮可能出现的矛盾，引入了两种类型的矛盾点以及对应的约束条件，最终求解模型并以模型可解搜索不可能差分区分器，由求解器返回输入输出差分值。本发明搜索方法，以MILP模型有解搜索不可能差分，传统的以模型无解搜索区分器不便于与区分器扩展、密钥恢复流程相结合，本模型能够提高整个攻击的效率。