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 等在内的一系列密碼算法。

(審稿：何鵬)