报告名称：对称密码数学困难问题研究
报告专家：冯秀涛
专家单位：中国科学院数学与系统科学研究院
报告时间：7月30日14:00
报告地点：数统楼403
专家简介： 冯秀涛，博士，中国科学院数学与系统科学研究院副研究员、博士生导师。主要从事对称密码设计理论和分析方法研究。曾参与国家标准祖冲之序列密码算法的研制、标准制定和国际标准化推进工作，并主持轻量级分组密码 FBC 研制，该算法获得全国密码算法竞赛三等奖。主持或作为核心成员参加了国家重点研发计划、国家863 计划、国家自然科学重点基金、国家自然科学面上基金等多项项目的研发，并获得中科院稳定支持基础研究领域青年团队计划支持;荣获包括国家科技发明二等奖、中科院关峰直青年研究奖、全国密码算法设计竞赛三等奖、全国密码数学竞赛二等奖、全国密码竞赛命题优秀奖，强网杯密码竞赛亚军等在内的多项奖项。发表科研论文 40 余篇，申请14 项国家/国际专利。
报告摘要：对称密码是主流的密码体制之一，其安全基础建立在一些密码数学困难问题之上。本报告主要介绍与对称密码有关的4个数学困难问题:高维点集线性不等式完全刻画、高维点集CNF语句完全刻画、推理系统极小化问题、最短线性编程问题，以及我们在这些问题上所取得的最新研究进展。
