2012年图灵奖获得者及他们的主要贡献

 

  2012年度A.M. Turing奖授予Shafi Goldwasser与Silvio Micali。

   Silvio Micali是麻省理工学院的福特工程学教授。Goldwasser则是麻省理工机电工程与计算机科学系的RSA教授，同时还是以色列魏茨曼科学研究所计的算机科学与应用数学教授。

   Shafi Goldwasser和Silvio Micali最重要的贡献则是1985年的论文中，与Charles Rackoff一起发表了题为“知识复杂性的交互证明系统”。这一概念的引入证明了一个引人注目的新哲学理念，通过控制泄露知识提供了必要的语言谈论安全加密协议。这些论文展示了零知识协议的力量和实用性，证明了他们的理论是无所不在和无所不能。

  通过合作研究，他们开创了可证明安全性这一领域的先河，奠定了现代密码学理论的数学基础。通过形式化密码安全是可计算的而不是绝对的概念，他们创造的数据结构将密码学从艺术变成科学。他们的工作解决了一些重要的实际问题，例如保护数据不被窃取或者修改，提供了一套internet上数据通信和交易的安全工具。这些工作发展了交互的和基于概率的证明的概念，对计算复杂度这一根据内在难度划分计算问题的领域产生了深远的影响。Shafi Goldwasser曾在北京举行的国际数学家大会（ICM2002）上做邀请报告。