基于约束规划的密码分析

发布时间：2019-03-19 作者：浏览次数：

Speaker:	胡磊	DateTime:	2019年3月22日（周五）上午10:10-11:00
Brief Introduction to Speaker: 胡磊，中科院信息工程研究所信息安全国家重点实验室研究员。		Place:	六号楼二楼报告厅
Abstract:最优化和数学规划具有广泛的应用，约束规划方法近年应用在分组密码等类型密码算法的分析中，取得相对于人工分析更优异的分析结果。本报告将介绍分组密码的差分分析和线性分析概念，介绍密码分析中的混合整数规划、SAT求解等约束规划方法，其中包括我们在这方面的工作。