2023年5月26日下午，中国科学院数学与系统科学研究院冯秀涛副研究员应邀为我院相关专业的教师与研究生作了题为“CNF Characterization of Sets Over Z_2^n and its Applications in Cryptography”的学术报告。

冯秀涛副研究员的报告首先介绍了对称密码自动化分析的基本思路，随后对CNF完全刻画的理论体系研究进行了阐述，并介绍了基于完整理论体系设计的新算法在密码分析中的应用成果。

  报告结束后，参会师生与冯秀涛老师对于报告的内容进行了深入的交流，探讨了点集刻画的相关问题，大家受益匪浅。

专家简介： 冯秀涛，博士，中国科学院数学与系统科学研究院副研究员，博士生导师。长期从事序列密码设计理论和分析方法研究。作为祖冲之序列密码设计者之一， 曾参与 4G 通信加密标准祖冲之序列密码算法的标准制定和国际标准化推进工作，并主持轻量级分组密码 FBC 研制，该算法获得全国密码算法竞赛三等奖。主持或作为核心成员参加了国家重点研发计划、国家 863 计划、国家自然科学重点基金、国家自然科学面上基金等多项项目的研发，最近获得中科院稳定支持基础研究领域青年团队计划支持; 荣获包括中科院关肇直青年研究奖，国家科技发明二等奖，全国密码竞赛三等奖，全国密码数学竞赛二等奖，全国密码竞赛命题优秀奖等在内的多项奖项。发表科研论文近 40 篇，其中在 IEEE IT，DCC，FFTA，JoC，ASIACRYPTO，FSE，SETA 等国际顶级期刊和顶级会议上发表十余篇科研论文; 申请 14 项国家/国际专利。在密码破译方面，曾彻底破解了包括 A2U2、SABLIER、FASER128/FASER256、PANDA-S 等在内的一系列密码算法。

(审稿：何鹏)