シャフリラ・ゴールドワッサー(ヘブライ語: שפרירה גולדווסר、1959年11月14日生まれ[ 5 ] [ 6 ])は、イスラエル系アメリカ人のコンピュータ科学者です。彼女はマサチューセッツ工科大学のRSA電気工学およびコンピュータ科学教授[ 7 ]、ワイツマン科学研究所の数理科学教授、サイモンズ理論計算機科学研究所の元所長、およびDuality Technologiesの共同創設者兼チーフサイエンティストです[ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] 。 2012年に、彼女とシルビオ・ミカリはACMチューリング賞を受賞しました。
ゴールドワッサーはニューヨーク市で生まれ、テルアビブで育った。[ 6 ]その後アメリカに戻り、1979年にカーネギーメロン大学で数学と科学の学士号を取得した。1981年に修士号、1984年にマヌエル・ブルムの指導の下バークレー大学で博士号を取得した。[ 4 ]
バークレー在学中、ゴールドワッサーは暗号学とアルゴリズム的数論の研究に取り組んだ。[ 13 ]彼女とブルムはブルム=ゴールドワッサー暗号システムを提案した。[ 4 ]当時バークレーの学生だったシルビオ・ミカリと共に、彼女は確率的暗号化の概念を導入した。これは、1つのメッセージを確率的に多くの異なる暗号文に暗号化することができ、選択平文攻撃に対してより耐性がある。[ 13 ]
ゴールドワッサーは1983年にMITに加わり、1997年にRSA教授職の初代就任者となった。彼女は1993年にMITの教授職と並行してワイツマン科学研究所の教授にも就任した。彼女はMITコンピュータ科学・人工知能研究所の計算理論グループのメンバーである。[ 14 ]
2016年11月、ゴールドワッサーは、ヴィノード・ヴァイクンタナサンを含む数人の同僚とともに、完全準同型暗号を商業化するためにDuality Technologiesを共同設立した。[ 15 ]彼女はまた、ゼロ知識ブロックチェーンを専門とするQED-itや、共同研究者のシルヴィオ・ミカリが設立した純粋なプルーフ・オブ・ステーク・ブロックチェーンであるAlgorandなど、いくつかのテクノロジー系スタートアップの科学顧問も務めている。[ 16 ]
2018年1月1日、彼女はサイモンズ理論計算機科学研究所の所長に就任し、2024年8月までその職を務めた。[ 17 ] [ 18 ]
ゴールドワッサーの研究分野には、計算複雑性理論、暗号理論、計算数論が含まれる。1984年、シルビオ・ミカリと共に確率的暗号化を導入し、これがほとんどの公開鍵暗号方式の基礎となった。[ 19 ] [ 13 ]
1985年、ゴールドワッサー、シルビオ・ミカリ、チャールズ・ラコフはゼロ知識証明を導入し、これは追加の知識を伝えることなく主張の妥当性を確率的かつ対話的に証明するために使用される基本的な暗号プリミティブとなった。[ 20 ]彼らはまず、問題に関する一連の質問に答えることで対話的に証明が開発される対話型証明をより広く研究することから始めた。 [ 13 ] 1980年代後半、ミカリのグループとラースロー・ババイとシュロモ・モランの2人はそれぞれ対話型証明の概念を紹介する論文を発表し、彼らは後にその貢献に対してゲーデル賞を共同受賞した。[ 21 ]
計算複雑性理論において、彼女は近似の困難性、対話型証明およびPCP 定理との関連性について研究してきた。[ 20 ]また、信頼できないサーバーに計算を委任するためのプロトコルも開発している。[ 22 ]ジョー・キリアンと共に、楕円曲線を用いた素数判定法を開発した。 [ 23 ]ゴールドワッサーは、マッコウクジラのコミュニケーションを解読するための学際的な取り組みであるプロジェクト CETIのリーダーでもある。[ 24 ]
ゴールドワッサーは、シルビオ・ミカリとともに「証明可能なセキュリティの分野を開拓し、現代の暗号を可能にする数学的基礎を築いた」功績により、 2012年のチューリング賞を受賞した。 [ 25 ] [ 26 ]
ゴールドヴァッサーは理論計算機科学のゲーデル賞を2度受賞している。最初は1993年にラースロー・ババイ、シルヴィオ・ミカリ、シュロモ・モラン、チャールズ・ラコフと共に「対話型証明システムの知識複雑性」で受賞し[27]、2度目は2001年にサンジーヴ・アローラ、ウリエル・ファイゲ、カーステン・ルンド、ラースロー・ロヴァス、ラジーヴ・モトワニ、シュムエル・サフラ、マドゥ・スーダン、マリオ・セゲディと共に「対話型証明と近似クリークの困難性」で受賞した[ 28 ]。また、1996年にはACMグレース・マレー・ホッパー賞、 1998年にはRSA数学優秀賞も受賞している[ 29 ]。
2001年に彼女はアメリカ芸術科学アカデミーに選出され、2002年には北京で開催された国際数学者会議で基調講演を行った。[ 30 ] 2004年には米国科学アカデミーに選出され、[ 31 ] 2005年には暗号、数論、複雑性理論、およびそれらのプライバシーとセキュリティへの応用への貢献により米国工学アカデミーに選出された。 [ 32 ] 2006年にはバークレー校からコンピュータサイエンス優秀卒業生賞を授与された。[ 33 ] 2007年にはIACRフェローに選出された。ゴールドワッサーは、Association for Computing Machineryのコンピュータ分野の女性委員会から2008~2009年のアテナ講演者賞を受賞した。[ 31 ]彼女はフランクリン研究所の2010年ベンジャミン・フランクリン・メダル(コンピュータおよび認知科学部門)を受賞した。[ 34 ]彼女は2011年にIEEEエマニュエル・R・ピオーレ賞を受賞した。 [ 35 ]
ゴールドワッサーは2017年にACMフェローに選出された。[ 36 ] 2017年7月には、アメリカ数学会議で基調講演を行った。[ 37 ]彼女はミカリ、リヴェスト、シャミールと共に2018年のフロンティア・オブ・ナレッジ賞を受賞した。[ 38 ]
2018年、ゴールドワッサーは母校であるカーネギーメロン大学から名誉学位を授与された。[ 39 ] 2019年6月、ゴールドワッサーはオックスフォード大学から名誉理学博士号を授与された。[ 40 ] 2023年には英国王立協会のフェローに選出された。 [ 41 ]
ゴールドワッサーは、著名な女性コンピューター科学者カードに掲載されています。[ 42 ]彼女は2016年にサフラージュ・サイエンス賞を受賞しました。 [ 3 ]彼女は2020年にインフォシス賞の数理科学部門の審査員を務めました。[ 43 ]彼女は2021年にロレアル・ユネスコ女性科学者賞(コンピューター科学部門)を受賞しました。[ 44 ]