公开(公告)号：CN117857020A

公开(公告)日：2024-04-09

申请号：CN202410160191.1

申请日：2024-02-05

Applicant: 桂林电子科技大学

Inventor： 李灵琛 ,  谯智 ,  陈佐甲 ,  韦永壮 ,  武小年

IPC: H04L9/06 ,  H04L9/00

Abstract: 本发明一种以MILP模型可解为判定条件的最优不可能差分分析方法，核心在于在不可能差分区分器的搜索过程中，提出了以可解为判定条件的MILP不可能差分区分器搜索模型，进而在搜索的区分器上进行向上和向下扩展，得到需要猜测的密钥，最后得到最小猜测基。通过以可解为判定条件有效的将不可能差分区分器搜索和密钥恢复攻击过程作为一个统一整体进行MILP建模，最后通过求解该模型得到最优的不可能差分区分器和最小猜测基，进而有效地降低密码算法攻击的复杂度。

公开(公告)号：CN119921944A

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

申请号：CN202510098045.5

申请日：2025-01-22

Applicant: 桂林电子科技大学

Inventor： 李灵琛 ,  陈佐甲 ,  韦永壮 ,  叶涛

IPC: H04L9/06

Abstract: 本发明公开一种结合线性掩码集合传播与CP技术的SPN结构零相关线性区分器搜索方法，用于搜索面向半字节/字节设计的SPN结构分组密码算法的零相关线性区分器。该方法整合了目前已有方法的优点，利用集合传播的思想，结合CP建模技术实现了线性掩码在以概率1传播的条件下完整刻画S盒的LAT表，并拥有已有方法的优点且弥补了其存在的缺点，同时能够完整考虑LAT表的情况下搜索零与非零、非零与非零集合之间的矛盾，并以模型可解为判定条件，可以与区分器的扩展构成一个整体模型去考虑。

公开(公告)号：CN119249457A

公开(公告)日：2025-01-03

申请号：CN202411451382.X

申请日：2024-10-17

Applicant: 桂林电子科技大学

Inventor： 李灵琛 ,  陈佐甲 ,  戴一鸣 ,  韦永壮 ,  叶涛

IPC: G06F21/60 ,  G06F16/953 ,  G06N3/084

Abstract: 本发明公开基于miss‑from‑the‑middle与MILP的And‑RX结构零相关线性区分器搜索方法，将MILP建模应用miss‑from‑the‑middle技术上，构建出了以模型可解为判定条件的零相关线性区分器搜索方法。解决了以模型无解为判定条件搜索模型无法遍历所有搜索空间的限制，同时也考虑了由间接矛盾原因产生的零相关线性区分器，使得新模型下能搜索到轮数更长且数量更多的有效零相关线性区分器。本发明方法的准确度高，在搜索出零相关线性区分器的同时，能够给出其准确的间接矛盾发生位置，排除了基于模型无解产生的误判情况，且避免了手动推导基于零相关线性区分器间接矛盾位置的繁琐过程。