报告题目：旋转异或差分自动化分析架构研究
报告人：张凯 博士
会议时间：2023/03/15 09:30
腾讯会议：970-523-469
报告摘要：旋转攻击是2010年由Khovratovich和Nikolic提出的一种分析方法。其基本思想是利用状态字之间的旋转(循环移位)关系来构造区分器。作为旋转攻击的一个变体，旋转异或差分分析于2016年提出，其主要思想是将旋转攻击和差分分析相结合。本报告面向AND-RX密码，针对旋转异或差分分析，提出了一个新的自动化分析架构K5。作为应用，对两个分组密码算法SIMON和Simeck所有版本的旋转异或差分区分器进行了搜索。相比之前基于求解器的搜索方法，本报告中自动化分析架构能够带来多达3轮的提升，效果显著。
报告人简介：张凯，战略支援部队信息工程大学讲师，博士。2013年和2016年毕业于解放军信息工程大学，获密码学专业硕士和博士学位。曾在上海交通大学、中国科学院从事博士后及客座研究工作。主要研究方向为序列密码、分组密码算法的设计与分析。曾在国际上对十余个密码算法进行了新的安全性分析，其中对三个密码算法首先提出了全轮的攻击方案。近年来主持/参与国家自然科学基金、中国博士后基金面上项目、基础加强计划重点基础研究项目、“十三五”、“十四五”预研等国家及军队级重点项目10余项。在IEEE TIT、SCI CHINA、CHINA COMMUN、IET INFORM SECUR、ASIACRYPT、FSE等国内外主流密码学会议及期刊上发表学术论文二十余篇，出版学术专著一部。受邀担任国家自然科学基金委系统评议专家，担任IEEE TIFS、SCI CHINA、CHINA COMMUN、CMC、JSSC、SCN、JSA、密码学报、计算机学报等多个国内外知名期刊的审稿人，受邀担任计算系统和网络安全国际会议技术委员会委员。
