卓越研究

張勝譽教授獲得2008年度ICALP最佳論文獎 (2008)

祝賀張勝譽教授在2008年度ICALP喜獲最佳論文獎(http://www.ru.is/icalp08/)。 其論文為: "Making Classical Honest Verifier Zero Knowledge Protocols Secure against Quantum Attacks".

 

該文章証明了任何一個對誠實驗證機有經典零知識証明系統的問題,也有一個經典的証明系統,使得即使驗證機使用量子計算機,並且以任意的欺騙行為,也無法得到任何新的知識。該工作回答了Watrous在STOC'2006提出的公開問題,也推廣了Goldreich, Sahai and Vadhan在STOC'1998年給出的經典轉換協議。該文章對有量子計算機的情況下如何提高安全性做出重要貢獻。