アディ・シャミール

アディ・シャミール（ヘブライ語: עדי שמיר、1952年7月6日生まれ）は、イスラエルの暗号学者であり発明家である。彼は、Rivest–Shamir–Adleman（RSA）アルゴリズムの共同発明者（ Ron Rivest 、 Len Adlemanと共著）、 Feige–Fiat–Shamir識別方式の共同発明者（Uriel Feige、Amos Fiatと共著）、差分暗号解読の発明者の一人であり、暗号学とコンピュータ科学の分野に数多くの貢献をしている。^{[ 4 ]} 2002年、Ron Rivest、Len Adleman、およびShamirはACMチューリング賞を受賞した。^{[ 5 ]}

アディ・シャミールはテルアビブで生まれた。 1973年にテルアビブ大学で数学の理学士号（BSc）を取得し、1975年と1977年にそれぞれワイツマン科学研究所でコンピュータサイエンスの修士号と博士号を取得した。^{[ 3 ]}彼はウォーリック大学で1年間博士研究員として過ごし、1977年から1980年までマサチューセッツ工科大学（MIT）で研究を行った。

1980年、彼はイスラエルに戻り、ワイツマン科学研究所の数学・コンピュータ科学部の教員となった。^{[ 6 ]} 2006年からは、パリの高等師範学校の客員教授も務めている。^{[ 6 ]}

RSAに加えて、シャミアの暗号学への数々の発明と貢献には、シャミア秘密分散法、マークル・ヘルマン・ナップサック暗号システムの解読、視覚暗号、TWIRLおよびTWINKLE素因数分解装置などがある。彼はエリ・ビハムと共に、1980年代後半にブロック暗号を攻撃する一般的な方法である差分暗号解読を発見した。後に、差分暗号解読はIBM ^{[ 7 ]}と国家安全保障局（NSA）^{[ 8 ]}の両方によって既に知られており、秘密にされていたことが明らかになった。

1984年、シャミアは、電子メールアドレスなどの固有の識別子からユーザーの公開鍵を導き出すことができるアイデンティティベース暗号の概念を導入した。 ^{[ 9 ]}

1986年、彼はアモス・フィアットと共に、対話型認証プロトコルをデジタル署名方式に変換するための広く使われている方法であるフィアット・シャミア・ヒューリスティックを考案した。 ^{[ 10 ]}

シャミールはリベストとアドレマンと共に、1991年から毎年開催されているRSAカンファレンスを主催するRSAセキュリティを共同設立した。 ^{[ 11 ] [ 5 ]}

彼はアレックス・ビリュコフとデビッド・ワグナーと共に、2000年にGSM携帯電話通信の暗号化に使用されるストリーム暗号A5/1のリアルタイム暗号解読を発表した。 ^{[ 12 ]}

2001年、ロン・リベストとヤエル・タウマンと共に、彼はリング署名の概念を導入した。これは、グループのメンバーが署名を作成したメンバーを明かさずにメッセージに署名できるというものである。^{[ 13 ] [ 14 ]}同年、スコット・フルーラーとイツィク・マンティンと共に、彼はRC4ストリーム暗号に対する鍵回復攻撃（フルーラー・マンティン・シャミア攻撃として知られる）を発表し、当時Wi-Fiネットワークのセキュリティ確保に使用されていた有線等価プライバシー（WEP）プロトコルの実際的な脆弱性を明らかにした。^{[ 15 ]}

シャミールは、キャッシュ攻撃や音響暗号解読など、暗号実装に対するさまざまなサイドチャネル攻撃も開発しました。2014年には、ダニエル・ゲンキンとエラン・トロマーと共に、ラップトップが復号中に発する音を使用して、完全な4096ビットRSA鍵を抽出することを実証しました。^{[ 16 ] [ 17 ]}

2010年代後半以降、シャミールは機械学習システムのセキュリティについても研究しており、敵対的サンプルの理論に関する研究を共同執筆している。これには、トレーニング中にニューラルネットワークの決定境界がどのように進化するかを示す「ディンプル多様体モデル」^{[ 18 ]}や、ニューラルネットワークモデルのパラメータを抽出するための暗号解読技術に関する研究^{[ 19 ]}が含まれる。

2019年3月、シャミールはサンフランシスコで開催されたRSA会議に出席できなかった。彼は例年、同会議の暗号学者パネルに出席していたが、米国ビザの申請が2か月間回答されなかったためである。ビデオで会議に出席した彼は、研究コミュニティが科学会議をどこで開催するかを再考すべきだと提案した。^{[ 20 ] [ 11 ]}

暗号学以外にも、シャミアはコンピュータ科学全般に貢献しており、例えば、2充足可能性問題の最初の線形時間アルゴリズムを発見したり^{[ 21 ]} 、カーステン・ルンド、ランス・フォートナウ、ハワード・カーロフ、ノアム・ニサンらの研究に基づいて、複雑性クラスPSPACEとIPが等しいことを証明したりしている^{[ 22 ] [ 23 ] 。}

• 1983年 –イスラエル数学会エルデシュ賞。 ^{[ 24 ] [ 5 ]}
• 1986年 – IEEE WRG ベイカー賞。^{[ 25 ]}
• 1990 – UAP 科学賞 (le Prior scientifique UAP ( Union des Assurances de Paris ))。
• 1992年 –教皇庁科学アカデミー（バチカン・ピウス11世金メダル）。^{[ 26 ]}
• 1996年 –パリス・カネラキス理論と実践賞。^{[ 27 ]}
• 1998年 –イスラエル科学人文アカデミー会員に選出される。^{[ 5 ]}
• 2000年 – IEEE小林浩二コンピュータおよび通信賞。^{[ 28 ]}
• 2002年 –リベスト、アドレマンと共に、暗号学への貢献が認められ、ACMチューリング賞を受賞。 ^{[ 5 ]}
• 2004年 -国際暗号研究協会のフェロー。^{[ 5 ]}
• 2005年 – 米国科学アカデミー会員に選出される。^{[ 5 ]}
• 2008年 -イスラエル賞（コンピュータ科学部門）^{[ 29 ] [ 30 ]}
• 2009年 –ウォータールー大学より名誉数学博士号（DMath）を授与される^{[ 31 ]}
• 2017年 – 暗号技術に関する先駆的な研究を通じて情報セキュリティに貢献した功績により、（第33回）電子情報通信分野の日本国際賞を受賞。^{[ 32 ]}
• 2018年 –自然科学の発展に多大な貢献をしたとして、王立協会の外国人会員（ForMemRS）に選出された。 ^{[ 1 ]} 
• 2019年 –アメリカ哲学会の会員に選出される。^{[ 33 ]}
• 2022年 –アメリカ芸術科学アカデミーの国際名誉会員に選出される。^{[ 14 ] [ 34 ]}
• 2024年 –数学暗号学への基礎的な貢献により、ウルフ賞（数学部門）を受賞。
• 2025年 –実世界暗号への貢献によりレフチン賞を受賞。 ^{[ 35 ]}

• アモス・フィアット
• カーステン・ルンド
• フェイゲ・フィアット・シャミール識別スキーム
• IDベース暗号
• ランス・フォートナウ
• コンピュータ科学の先駆者一覧
• ノアム・ニサン
• ロン・リヴェスト
• ワイツマン科学研究所