基于MILP的PICO算法差分和线性区分器的搜索

作者：石康康; 任炯炯^*; 陈少真

来源：密码学报, 2023, 10(05): 910-921.

DOI：10.13868/j.cnki.jcr.000638

• 分组密码
• 差分分析
• 线性分析
• MILP模型
• PICO算法

PICO算法是由Bansod等人在2016年提出的一种基于替换和排列的SPN网络的轻量级分组密码.目前针对PICO算法抵抗差分和线性分析的能力还有待进一步评估.本文基于MILP模型,首先利用不等式组对各组件的差分特征和线性掩码的传播规律进行了精细的刻画,其次针对密码算法的结构特点及S盒特性,对该模型进行了优化,缩小了搜索空间,并提出了针对PICO算法有效的两步搜索算法.最后利用该算法,搜索到了3条新的概率为2-63的21轮差分区分器,并首次搜索到了3条相关度为2-30的20轮线性区分器,为当前公开发表的最长线性区分器.

• 单位
  信息工程大学