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

講座人：郭福春 副教授

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

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

講座人介紹：

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

講座內(nèi)容：

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

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