2012 ACM A. M. Turing Award
Laureates
シルビオ・ミカリ
シャフィ・ゴールドワッサー