2012年度A.M. Turing獎授予Shafi Goldwasser與Silvio Micali。
Silvio Micali是麻省理工學院的福特工程學教授。Goldwasser則是麻省理工機電工程與計算機科學系的RSA教授，同時還是以色列魏茨曼科學研究所計的算機科學與應用數學教授。
Shafi Goldwasser和Silvio Micali最重要的貢獻則是1985年的論文中，與Charles Rackoff一起發表了題爲“知識複雜性的交互證明系統”。這一概念的引入證明了一個引人注目的新哲學理念，通過控制泄露知識提供了必要的語言談論安全加密協議。這些論文展示了零知識協議的力量和實用性，證明了他們的理論是無所不在和無所不能。
通過合作研究，他們開創了可證明安全性這一領域的先河，奠定了現代密碼學理論的數學基礎。通過形式化密碼安全是可計算的而不是絕對的概念，他們創造的數據結構將密碼學從藝術變成科學。他們的工作解決了一些重要的實際問題，例如保護數據不被竊取或者修改，提供了一套internet上數據通信和交易的安全工具。這些工作發展了交互的和基於概率的證明的概念，對計算複雜度這一根據內在難度劃分計算問題的領域產生了深遠的影響。Shafi Goldwasser曾在北京舉行的國際數學家大會（ICM2002）上做邀請報告。