【报告摘要】对称密码是主流的密码体制之一，其安全基础建立在一些密码数学困难问题之上。本报告主要介绍与对称密码有关的4个数学困难问题：高维点集线性不等式完全刻画、高维点集CNF语句完全刻画、推理系统极小化问题、最短线性编程问题，以及我们在这些问题上所取得的最新研究进展。

 

【报告人简介】冯秀涛，博士，中国科学院数学与系统科学研究院副研究员，博士生导师。主要从事对称密码设计理论和分析方法研究。曾参与国家标准祖冲之序列密码算法的研制、标准制定和国际标准化推进工作，并主持轻量级分组密码FBC研制，该算法获得全国密码算法竞赛三等奖。主持或作为核心成员参加了国家重点研发计划、国家863计划、国家自然科学重点基金、国家自然科学面上基金等多项项目的研发，并获得中科院稳定支持基础研究领域青年团队计划支持；荣获包括国家科技发明二等奖，中科院关肇直青年研究奖，全国密码竞赛三等奖，全国密码数学竞赛二等奖，全国密码竞赛命题优秀奖，强网杯密码竞赛亚军等在内的多项奖项。发表科研论文40余篇，申请14项国家/国际专利。