孙思伟;胡磊;王鹏;乔可欣;马晓霜;宋玲 自动安全评估和（相关密钥）差分特征搜索：应用于SIMON、PRESENT、Lblock、DES（L）和其他面向比特的分组密码。 （英语） Zbl 1306.94093号 Sarkar，Palash（编辑）等人，《密码学进展——2014年亚洲密码》。2014年12月7日至11日，第20届国际密码学与信息安全理论与应用会议，台湾高雄。会议记录，第一部分，柏林：施普林格出版社（ISBN 978-3-662-45610-1/pbk）。计算机科学课堂讲稿8873158-178（2014）。 摘要：我们分别基于逻辑条件建模和计算几何，提出了两种系统的方法来描述具有线性不等式的S-盒的微分性质。在一种方法中，根据S-盒的一些条件微分性质生成不等式；在另一种方法中，不等式是从S盒的所有可能微分模式的凸包的H表示中提取的。对于第二种方法，我们开发了一种贪婪算法，用于从凸壳中选择给定数量的不等式。利用这些不等式与混合整数线性规划（MILP）技术相结合，我们提出了一种自动评估面向比特分组密码抵抗（相关密钥）差分攻击的安全性的方法，以及获得更严格安全边界的几种技术，以及一种新的查找（相关密钥位定向分组密码的自动差分特性。关于整个系列，请参见[Zbl 1301.94003号]。 引用于2评论引用于74文件 MSC公司： 94A60 密码学 90立方厘米 混合整数编程 关键词：自动密码分析;关联密钥差分攻击;混合整数线性规划;凸面船体 软件：普林斯;山茶花;古罗比;西蒙;LB锁定;出席;SageMath公司 PDF格式BibTeX公司 XML格式引用 \textit｛S.Sun｝等人，Lect。注释计算。科学。88731158-178（2014年；兹比尔1306.94093） 全文： 内政部