講座名稱：可證明安全的幾點新思考

講座人：郭福春 副教授

講座時間：6月21日14:00-16:00

地點：騰訊會議：158-203-070

講座人介紹：

郭福春博士，澳大利亞University of Wollongong 副教授，澳大利亞ARC DECRA Fellow， ARC Future Fellow。 郭博士的密碼學研究始于2005年并一直專注于公鑰密碼學方向的研究，特別是方案構造及安全歸約理論技術。郭福春博士在密碼三大會議CRYPTO(美密會)、EUROCRYPT(歐密會)和ASIACRYPT (亞密會)及國際頂級期刊如IEEE TFIS等雜志發(fā)表密碼學相關學術論文近百余篇，中英兩部著作《Introduction to Security Reduction》和《數(shù)字簽名密史：從急需到有趣》。

講座內(nèi)容：

定義、構造和證明是公鑰密碼學研究中設計的重要組成部分。其中，可證明安全性因涉及大量專業(yè)術語和背景知識而尤為復雜。不同研究方向?qū)勺C明安全的側重點各不相同。在本報告中，我將基于近期研究匯總的問題，分享我在可證明安全方面的一些新思考，涵蓋安全模型、證明中的實體關系，以及各種證明方法的區(qū)別。

主辦單位：數(shù)學與統(tǒng)計學院