密码学院中文 密码学院中文

密码讲堂 | 20220909王森鹏博士

  • 文/密码学院
  • 日期：2022-08-30
  • 3299

密码讲堂20220909-1.png

 
The Simplest SAT Model of Combining Matsui’s Bounding Conditions with Sequential Encoding Method
报告人：王森鹏 讲师
会议时间: 2022/09/09 09:30-15:00
腾讯会议: 554-448-547
报告摘要：
主要研究了Matsui界条件的性质，提出了在SAT模型中实现Matsui界条件的新方法，给出了利用序列编码方法（sequential encoding method）刻画Matsui界条件的最简SAT模型，并将该方法应用到SPN、Feistel和ARX类分组密码算法中，提高了搜索效率，并给出了更高轮数的最优差分和线性特征。
报告人简介：
王森鹏，博士，讲师，研究方向是对称密码算法的设计与分析，主持国家自然科学基金青年基金、博士后基金等项目2项，博士论文获评“2021年中国密码学会优秀博士论文”，获“河南省教育厅优秀科技论文一等奖”和“河南省自然科学优秀学术论文一等奖”各1项，以第一作者在ASIACRYPT、FSE、 DCC等会议和期刊发表了多篇论文。