シャフィ・ゴールドワッサー

シャフィ・ゴールドワッサー
שפרירה גולדווסר
2010年のゴールドワッサー
生まれる
シャフリーラ・ゴールドワッサー
1959年（66～67歳）
ニューヨーク市、アメリカ合衆国
市民権
  • イスラエル
  • アメリカ合衆国
教育カーネギーメロン大学( BS )カリフォルニア大学バークレー校( MS、PhD )
知られている
子供たち2
受賞歴
科学者としてのキャリア
フィールドコンピュータサイエンス、暗号学
機関
論文確率的暗号化：理論と応用 （1984年）
博士課程の指導教員マヌエル・ブルム[ 3 ]
博士課程の学生
Webサイト人々.csail .mit .edu /shafiWikidataで編集する

シャフリーラ・ゴールドワッサー（ヘブライ語：שפרירה גולדווסר、1959年生まれ[ 5 ]）は、イスラエル系アメリカ人のコンピュータ科学者である。マサチューセッツ工科大学の電気工学およびコンピュータサイエンスのRSA教授であり[ 6 ]、ワイツマン科学研究所の数理科学教授、シモンズ計算理論研究所の元所長、Duality Technologiesの共同設立者兼主任科学者でもある。[ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] 2012年に、シルビオ・ミカリとともにACMチューリング賞を受賞した。

教育と幼少期

ゴールドワッサーはニューヨーク市で生まれ、テルアビブで育った。[ 5 ]その後アメリカに戻り、1979年にカーネギーメロン大学で数学と理学の学士号を取得した。1981年にマヌエル・ブルムの指導の下、バークレー大学で修士号、1984年に博士号を取得した。[ 3 ]

バークレー在学中、ゴールドワッサーは暗号学とアルゴリズム的数論に取り組んだ。[ 12 ]彼女とブルームはブルーム・ゴールドワッサー暗号システムを提案した。[ 3 ]当時バークレーの学生だったシルヴィオ・ミカリと共に、ゴールドワッサーは確率的暗号化の概念を導入した。確率的暗号化では、1つのメッセージを確率的に複数の異なる暗号文に暗号化することができ、選択平文攻撃に対する耐性が強化される。[ 12 ]

キャリアと研究

ゴールドワッサーは1983年にMITに着任し、1997年にRSA教授職の初代就任者となった。 1993年にはMITの教授職と並行してワイツマン科学研究所の教授も務めた。彼女はMITコンピュータ科学・人工知能研究所の計算理論グループのメンバーである。[ 13 ]

2016年11月、ゴールドワッサーはヴィノド・ヴァイクンタナサンを含む数人の同僚とともに、完全準同型暗号を商業化するためにデュアリティ・テクノロジーズを共同設立した。[ 14 ]また、ゼロ知識ブロックチェーンを専門とするQED-itや、共同研究者のシルヴィオ・ミカリによって設立された純粋なプルーフ・オブ・ステークブロックチェーンであるアルゴランドなど、いくつかのテクノロジー系スタートアップの科学顧問も務めている。[ 15 ]

2018年1月1日、彼女はシモンズ計算理論研究所の所長に就任し、2024年8月までその職を務めた。[ 16 ] [ 17 ]

研究

ゴールドワッサーの研究分野には、計算複雑性理論、暗号理論、計算数論などがある。1984年、彼女はシルヴィオ・ミカリと共に確率的暗号を提唱し、これは現在ほとんどの公開鍵暗号方式の基礎となっている。[ 18 ] [ 12 ]

1985年、ゴールドワッサー、シルヴィオ・ミカリ、チャールズ・ラックオフはゼロ知識証明を導入した。これは、追加の知識を伝えることなく、主張の妥当性を確率的かつ対話的に証明するために使用される基本的な暗号プリミティブとなった。[ 19 ]彼らは、問題に関する一連の質問に答えることで対話的に証明を展開する、より広範な対話型証明の研究から始めた。 [ 12 ] 1980年代後半、ミカリのグループとラースロー・ババイとシュロモ・モランの2人は、対話型証明の概念を導入する論文を別々に発表した。彼らは後にその貢献によりゲーデル賞を共同受賞した。[ 20 ]

複雑性理論においては、近似の困難性と対話型証明およびPCP定理との関連について研究してきた。[ 19 ]また、信頼できないサーバーに計算を委任するためのプロトコルも開発した。[ 21 ]ジョー・キリアンとともに、楕円曲線を用​​いた素数判定法を開発した。 [ 22 ]ゴールドワッサーは、マッコウクジラのコミュニケーションを解析する学際的な取り組みであるプロジェクトCETIのリーダーでもある。 [ 23 ]

賞と栄誉

ゴールドワッサーは、シルヴィオ・ミカリとともに、「現代の暗号を可能にする数学的基礎を築いた証明可能セキュリティの分野を開拓した」として2012年のチューリング賞を受賞した。 [ 24 ] [ 25 ]

ゴールドヴァッサーは理論計算機科学分野でゲーデル賞を2度受賞している。1度目は1993年にラースロー・ババイ、シルビオ・ミカリ、シュロモ・モラン、チャールズ・ラックオフと共に「対話型証明システムの知識複雑性」で受賞[ 26 ] 、2度目は2001年にサンジーヴ・アローラ、ウリエル・ファイギ、カーステン・ルンド、ラースロー・ロヴァース、ラジーヴ・モトワニ、シュムエル・サフラ、マドゥ・スーダン、マリオ・セゲディと共に「対話型証明と近似クリークの困難性」で受賞[ 27 ]。また、 1996年にはACMグレース・マレー・ホッパー賞、 1998年にはRSA数学優秀賞も受賞している[ 28 ]。

2001年に彼女はアメリカ芸術科学アカデミーに選出され、2002年には北京で国際数学者会議で全体講演を行いました。[ 29 ] 2004年には暗号、数論、計算量理論、およびそれらのプライバシーとセキュリティへの応用に対する貢献により、米国科学アカデミーに選出され、[ 30 ] 2005年には米国工学アカデミーに選出されました。 [ 31 ] 2006年にはバークレー大学からコンピュータサイエンス優秀卒業生賞が授与されました。[ 32 ]彼女は2007年にIACRフェローに選ばれました。ゴールドワッサーは、計算機学会の女性コンピューティング委員会より2008～2009年のアテナ講師賞を受賞しました。[ 30 ]彼女はフランクリン研究所の2010年ベンジャミン・フランクリン・メダル（コンピュータと認知科学）を受賞しました。[ 33 ]彼女は2011年にIEEEエマニュエル・R・ピオーレ賞を受賞しました。 [ 34 ]

ゴールドワッサーは2017年にACMフェローに選出されました。[ 35 ] 2017年7月、彼女はアメリカ数学会議の基調講演者でした。[ 36 ]彼女はミカリ、リベスト、シャミールと共に2018年のフロンティア・オブ・ナレッジ賞を受賞しました。[ 37 ]

2018年、ゴールドワッサーは母校であるカーネギーメロン大学から名誉学位を授与された。[ 38 ] 2019年6月、ゴールドワッサーはオックスフォード大学から名誉理学博士号を授与された。[ 39 ]彼女は2023年に英国王立協会のフェローに選出された。 [ 40 ]

ゴールドワッサーは「コンピューター分野の著名な女性」カードに掲載されています。[ 41 ]彼女は2016年にサフレッジ科学賞を受賞しました。 [ 2 ]彼女は2020年にインフォシス賞の数理科学部門の審査員を務めました。[ 42 ]彼女は2021年にロレアル-ユネスコ女性科学者賞コンピューターサイエンス部門を受賞しました。[ 43 ]

私生活

ゴールドヴァッサーには二人の息子がいる。[ 44 ] [ 5 ]

参考文献

  1. ^ Savage, N. (2013). 「Proofs probable: Shafi GoldwasserとSilvio Micaliは、インタラクティブ証明やゼロ知識証明などの貢献により、現代暗号の基礎を築いた」Communications of the ACM . 56 (6): 22. doi : 10.1145/2461256.2461265 . S2CID  26769891 .
  2. ^ a b「Suffrage Science Maths and Computing 2016」 issuu.com 2016年10月7日。
  3. ^ a b c d数学系譜プロジェクトのシャフィ・ゴールドワッサー
  4. ^ Goldwasser, S. ; Micali, S. ; Rivest, RL (1988). 「適応型選択メッセージ攻撃に対する安全なデジタル署名方式」. SIAM Journal on Computing . 17 (2): 281. CiteSeerX 10.1.1.309.8700 . doi : 10.1137/0217017 . S2CID 1715998 .  
  5. ^ a b c Charles Rackoff (2012年3月13日). "「シャフィ・ゴールドワッサー - AMチューリング賞受賞者」「。ACM 。​
  6. ^ “シャフィ・ゴールドワッサー | MIT CSAIL” . www.csail.mit.edu 。2018 年11 月 2 日に取得。
  7. ^ 「About – Duality Technologies」 . Duality Technologies . 2018年4月10日閲覧。
  8. ^ハーシュ、デボラ（2012年12月16日）「ニュータウン銃撃事件の犠牲者の中で最年少のユダヤ人6歳」 。2010年9月27日時点のオリジナルよりアーカイブ。
  9. ^ ACMデジタルライブラリのShafi Goldwasser著者プロフィールページ
  10. ^ Shafi Goldwasserの出版物はScopus書誌データベースに索引付けされています。（購読が必要です）
  11. ^ Goldwasser, S.; Micali, S. (1984). 「確率的暗号化」 . Journal of Computer and System Sciences . 28 (2): 270. doi : 10.1016/0022-0000(84)90070-9 .
  12. ^ a b c dガーフィンケル、サイモン（2019年8月21日）。「シャフィ・ゴールドワッサー：暗号技術の革命に貢献した数論の専門家」 MITテクノロジーレビュー。 2025年8月23日閲覧。
  13. ^シャフィ・ゴールドワッサーの伝記– www.BookRags.comより。
  14. ^ 「About – Duality Technologies」 . Duality Technologies . 2018年4月10日閲覧。
  15. ^ “Team” . www.algorand.com . 2021年3月16日時点のオリジナルよりアーカイブ。2020年11月27日閲覧。
  16. ^ 「シャフィ・ゴールドワッサー氏がシモンズ計算理論研究所所長に任命」 News.berkeley.edu 2017年10月10日. 2018年4月10日閲覧。
  17. ^ 「所長からの手紙、2024年8月」サイモンズ研究所、2024年8月29日。 2025年8月23日閲覧。
  18. ^ 「確率的暗号化」（PDF） . Groups.csail.mit.edu . 2016年3月28日時点のオリジナル（PDF）からアーカイブ。 2018年4月10日閲覧。
  19. ^ a b「対話型証明と近似クリークの困難さ」（PDF） . Groups.csail.mit.edu . 2011年6月10日時点のオリジナル（PDF）からアーカイブ。 2018年4月10日閲覧。
  20. ^パーベリー、イアン. 「1993年ゲ​​ーデル賞」 . ACMアルゴリズム・計算理論特別利益団体. 2015年12月8日時点のオリジナルよりアーカイブ。 2025年8月23日閲覧。
  21. ^ Goldwasser, Shafi; Kalai, Yael Tauman; Rothblum, Guy (2008年1月1日). 「Delegating compute: interactive proofs for muggles」 . Microsoft Research : 113–122 . 2018年4月10日閲覧。
  22. ^ Goldwasser, Shafi; Kilian, Joe (1999年7月). 「楕円曲線を用​​いた素数判定」 . Journal of the ACM . 46 (4): 450– 472. doi : 10.1145/320211.320213 . S2CID 12453179 . 
  23. ^ウェルチ、クレイグ (2021年4月19日). 「クジラの言語を解読するための画期的な取り組みが開始」 .ナショナル ジオグラフィック協会.ナショナル ジオグラフィック協会. 2021年4月19日時点のオリジナルよりアーカイブ。 2021年10月28日閲覧。
  24. ^ 「Goldwasser氏とMicali氏が暗号技術の進歩でACMチューリング賞を受賞」 ACM. 2013年3月16日時点のオリジナルよりアーカイブ。 2013年3月13日閲覧。
  25. ^ AbAbazorius, CSAIL (2013年3月13日). 「ゴールドワッサーとミカリがチューリング賞を受賞」 . MITニュース.
  26. ^ Goldwasser, S.; Micali, S.; Rackoff, C. (1985). 「対話型証明システムの知識複雑性」.第17回ACM計算理論シンポジウム議事録 – STOC '85 . Association for Computing Machinery (ACM). p. 291. CiteSeerX 10.1.1.397.4002 . doi : 10.1145/22145.22178 . ISBN  978-0897911511. S2CID  8689051 .
  27. ^ Feige, U. ; Goldwasser, S. ; Lovász, L. ; Safra, S. ; Szegedy, M. (1996). 「インタラクティブ証明と近似クリークの困難性」 . Journal of the ACM . 43 (2): 268– 292. doi : 10.1145/226643.226652 .
  28. ^ 「Shafi Goldwasser」 . Simons Institute . 2025年8月23日閲覧。
  29. ^ 「全体講演者」www.mathunion.org .
  30. ^ a b「ホーム」 . weizmann.ac.il .
  31. ^ “シャフリラ・ゴールドワッサー博士” . NAE ウェブサイト。2021 年9 月 18 日に取得。
  32. ^ 「CS優秀卒業生賞受賞者」カリフォルニア大学バークレー校 電気工学・コンピュータサイエンス学部2025年8月23日閲覧。
  33. ^ News Office (2009年10月21日). 「ゴールドワッサー氏とスタッベ氏がフランクリン研究所の受賞者に選出」 . MITニュース.
  34. ^ 「IEEE Emanuel R. Piore Award Recipients」（PDF） IEEE。2013年2月17日時点のオリジナル（PDF）からアーカイブ。2010年12月30日閲覧。
  35. ^ ACM、デジタル時代における変革的貢献と技術の進歩に貢献した2017年度フェローを表彰、ACM、2017年12月11日、 2017年11月13日閲覧
  36. ^ 「ホーム | アメリカ数学会議 2017」 . mca2017.org .
  37. ^ "ホームページ – プレミオス フロンテラス" .プレミオス フロンテラス。2018 年4 月 10 日に取得。
  38. ^カーネギーメロン大学。「卒業式スピーカーおよび名誉学位授与者 – リーダーシップ – カーネギーメロン大学」www.cmu.edu。2018年9月21日閲覧。
  39. ^ 「2019年度名誉学位授与者発表」オックスフォード大学、2019年3月25日。 2019年6月26日閲覧。
  40. ^ 「優れた科学者が王立協会フェローに選出 | 王立協会」王立協会. 2025年8月23日閲覧。
  41. ^ 「コンピューター業界の著名な女性たち」。
  42. ^ 「Infosys Prize – Jury 2020」 . www.infosys-science-foundation.com . 2020年12月10日閲覧。
  43. ^ 「ディケンシュタイン氏とゴールドワッサー氏が国際女性科学者賞を受賞」（PDF）アメリカ数学会のお知らせ。
  44. ^ Goldreich, Oded編 (2019).暗号技術のための確かな基盤の提供：Shafi GoldwasserとSilvio Micaliの研究について. 計算機協会. pp.  20– 21. doi : 10.1145/3335741 . ISBN 978-1-4503-7266-4。
「 https://en.wikipedia.org/w/index.php?title=Shafi_Goldwasser&oldid=1334546160」より取得