報告名稱：對稱密碼數學困難問題研究
報告專家：馮秀濤
專家單位：中國科學院數學與系統科學研究院
報告時間：7月30日14:00
報告地點：數統樓403
專家簡介： 馮秀濤，博士，中國科學院數學與系統科學研究院副研究員、博士生導師。主要從事對稱密碼設計理論和分析方法研究。曾參與國家标準祖沖之序列密碼算法的研制、标準制定和國際标準化推進工作，并主持輕量級分組密碼 FBC 研制，該算法獲得全國密碼算法競賽三等獎。主持或作為核心成員參加了國家重點研發計劃、國家863 計劃、國家自然科學重點基金、國家自然科學面上基金等多項項目的研發，并獲得中科院穩定支持基礎研究領域青年團隊計劃支持;榮獲包括國家科技發明二等獎、中科院關峰直青年研究獎、全國密碼算法設計競賽三等獎、全國密碼數學競賽二等獎、全國密碼競賽命題優秀獎，強網杯密碼競賽亞軍等在内的多項獎項。發表科研論文 40 餘篇，申請14 項國家/國際專利。
報告摘要：對稱密碼是主流的密碼體制之一，其安全基礎建立在一些密碼數學困難問題之上。本報告主要介紹與對稱密碼有關的4個數學困難問題:高維點集線性不等式完全刻畫、高維點集CNF語句完全刻畫、推理系統極小化問題、最短線性編程問題，以及我們在這些問題上所取得的最新研究進展。
