国际计算机协会(ACM)宣布授予麻省理工学院(MIT)和以色列Weizmann科学研究所教授Shafi Goldwasser与MIT工程学教授Silvio Micali 2012年度A.M. Turing奖。

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