2012年ACM A・M・チューリング賞
受賞理由
暗号の科学のために複雑性理論の基礎を築き、その過程で複雑性理論における数学的証明を効率的に検証するための新しい方法を開拓した変革的な業績に対して。
受賞者
シルビオ・ミカリ
シャフィ・ゴールドワッサー