ジョン・アレクサンダー・ハルダーマン | |
|---|---|
| 生まれる | 1981年1月頃(43歳) |
| 母校 | プリンストン大学 |
| 知られている | 2016年米国大統領選挙の再集計 |
| 受賞歴 | スローン研究フェローシップ、Pwnie賞 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ミシガン大学 |
| 論文 | セキュリティ障害とその原因の調査: コンピュータ セキュリティへの分析的アプローチ (2009) |
| 博士課程の指導教員 | エドワード・フェルテン |
| Webサイト | ja.wikipedia.org |
ジョン・アレクサンダー・ハルダーマン[1](1981年1月生まれ)は、アメリカのコンピュータ科学者です。現在はミシガン大学でコンピュータサイエンスとエンジニアリングの教授を務め、ミシガン工科大学のコンピュータセキュリティと社会センターの所長も務めています。彼の研究はコンピュータセキュリティとプライバシーに焦点を当てており、社会と公共政策に広く影響を与える問題に重点を置いています。
教育
ハルダーマンはプリンストン大学で2003年6月にコンピュータサイエンスの分野で優秀な成績で文学士号を取得し、2005年6月に 文学修士号、2009年6月に哲学博士号を取得しました。 [2]
キャリアと研究
プリンストン大学の学生だったハルダーマンは、コンパクト ディスクで使用されるデジタル著作権管理(DRM) ソフトウェアの欠陥を暴く上で重要な役割を果たしました。2004 年、彼はMediaMax CD-3と呼ばれる DRM システムが、CD を挿入するときにShift キーを押したままにするだけでバイパスできることを発見しました。 [引用が必要]このシステムの背後にある会社は、一時的に 1,000 万ドルの訴訟で彼を脅し、彼はUSA Todayの一面を飾りました。[3]その後、2005 年に、彼はExtended Copy Protectionと呼ばれる DRM システムがルートキットと同じように機能し、オーディオ CD を再生するコンピューターのセキュリティを弱めることを示すのに貢献しました。[引用が必要]その後のSony BMG コピー保護ルートキット スキャンダルは、何百万枚もの CD の回収、集団訴訟、および米国連邦取引委員会による執行措置につながりました。[引用が必要]
2008年、ハルダーマンはディスク暗号化に対するコールドブート攻撃を発見したチームを率いた。この攻撃では、コンピュータデバイスに物理的にアクセスできる攻撃者が、メモリから暗号化キーやその他の秘密を抽出できる。当初は市場のほぼすべてのフルディスク暗号化製品に対して有効であったこの手法は、DRAMデータの残留磁気を利用して、デバイスの電源が一時的にオフになった後でもメモリの内容を取得する。[4]この手法の1つのバージョンでは、DRAMモジュールを凍結スプレーで冷却してデータの減衰を遅らせ、次にそれらをコンピュータから取り外して外部デバイスで読み取る。これはコンピュータフォレンジックの重要な部分となり、漏洩耐性暗号や暗号化RAMのハードウェア実装など、さまざまな防御研究にも影響を与えている。この攻撃の開発により、ハルダーマンと共著者はUSENIXセキュリティシンポジウムから最も革新的な研究に対するPwnie賞と最優秀学生論文賞を受賞した。
ミシガン大学で、ハルダーマンと共著者らは、中国[5]とイラン[6]におけるインターネット検閲、およびキューバの地下「ストリートネットワーク」 [7]に関する初の包括的な研究のいくつかを行った。2009年、彼は中国政府によって義務付けられたクライアント側検閲ソフトウェア のセキュリティ問題と著作権侵害を発見したチームを率いた。 [8]この調査結果が同プログラムに対する国民の抗議を触発し、中国は新しいPCに同ソフトウェアのインストールを義務付ける政策を撤回した。2011年、ハルダーマンと彼の学生は、検閲国外のコアネットワークインフラストラクチャに部分的に検閲防止技術を組み込むことによってインターネット検閲を回避する新しいアプローチであるTelexを発明した。米国国務省は、この技術を検閲耐性における「世代を超えた飛躍」と呼び、 [9]ハルダーマンは複数の機関による共同研究を主導し、この技術をさらに開発し、Refraction Networking という名前で ISP 規模で展開しました。[10] 2015 年、国連大使のサマンサ・パワーは、国連総会に併設された会議でこの技術を実演するためにハルダーマンをニューヨークに連れて行きました。[9]
2012年、ハルダーマンと共著者らは、何百万ものIoTデバイスのHTTPSおよびSSHサーバーに使用される公開鍵暗号を弱める乱数生成器の重大な欠陥を発見しました。彼らは60社のデバイスメーカーに脆弱性を開示し、 Linuxカーネルの変更を促しました。 [11]彼らの研究はUSENIXセキュリティシンポジウムで最優秀論文賞を受賞し、ACMコンピューティングレビューによってその年の注目すべきコンピューティング記事の1つに選ばれました。[12]ハルダーマンはTLSプロトコルのいくつかの主要な脆弱性の修正に重要な役割を果たしました。彼はLogjam [13]とDROWN [14]攻撃の共同発見者であり、FREAK攻撃の最初の影響評価を実施しました。[15] 3つの欠陥により、数千万のHTTPSウェブサイトのセキュリティが侵害され、HTTPSサーバーソフトウェア、ウェブブラウザ、TLSプロトコルが変更されました。これらの攻撃は、1990年代に米国から暗号技術の輸出が制限されたためにプロトコルの古いバージョンが意図的に弱体化された方法の名残を利用して行われたため、[16]法執行機関のための暗号バックドアに関する進行中の公共政策の議論に教訓をもたらしました。[17]
ハルダーマンのLogjam研究は、エドワード・スノーデンの暴露によって提起された大きな疑問、すなわち国家安全保障局が大量の暗号化されたネットワークトラフィックをどうやって解読できたのか、に対するもっともらしい説明も提供した。研究者らは、結果を主要政府の資源に当てはめて推論し、国家レベルの攻撃者が専用のスーパーコンピュータを使用して1,024ビットのDiffie-Hellman鍵交換を破ることができる可能性が高いと結論付けた。[18]諜報機関は、約1億ドルの費用で、すべての仮想プライベートネットワークの約3分の2で使用されている暗号を破ることができる。[19]スノーデンは、研究者らの疑念を共有していると公に反応し、非常に多くの人々を危険にさらした脆弱性を塞ぐことができなかったとして米国政府を非難した。[20]この研究は、2015年の最も革新的な研究に対するPwnie賞を受賞し、ACMコンピュータおよび通信セキュリティ会議で最優秀論文に選ばれた。
2013年、ハルダーマンと大学院生は、情報セキュリティ研究用に設計された無料のオープンソースのセキュリティスキャンツールであるZMapを作成しました。 [21]ネットワーク帯域幅 を効率的に使用することにより、ZMapはインターネットのIPv4アドレス空間全体を1時間未満でスキャンできるため、研究者は脆弱なシステムを定量化し、セキュリティパッチの採用を追跡し、インターネットアクセスを妨害する自然災害の影響を測定することさえできます。 [22]ハルダーマンと共同研究者は、OpenSSL Heartbleed脆弱性を追跡するためにこれを使用し、 [23]パッチが適用されていないWebサーバーの運営者に警告することで、世界的なパッチ適用率を50%引き上げました。[24]彼らの研究は、ACMインターネット測定会議で最優秀論文賞を受賞しました。ハルダーマンの研究グループは、 Googleと提携してZMapを使用して電子メール配信のセキュリティを調査し、[25]ネットワーク攻撃者によってGmailの受信メッセージの20%以上が暗号化されていない7つの国を浮き彫りにしました。[26]この問題を軽減するために、Gmailは暗号化されていないメッセージを受信した際にユーザーに通知するインジケーターを追加し、その結果、暗号化された接続を介して送信された受信メッセージが25%増加しました。[27]ハルダーマン氏と彼の共同研究者は、2015年のIRTF応用ネットワーク研究賞 を受賞しました。
ウェブサーバーによる暗号化の採用を加速するため、ハルダーマンは2012年にMozillaおよび電子フロンティア財団と提携し、 Let's Encrypt HTTPS認証局を設立した。Let's Encryptは、自動化されたプロトコルを通じてHTTPS証明書を無償で提供し、TLS暗号化の設定と維持の複雑さを大幅に軽減する。2016年の立ち上げ以来、Let's Encryptは1億5000万以上のウェブサイトを保護するまでに成長した。[28]ハルダーマンと彼の学生は、クライアントがCA (自動証明書管理環境)とのインターフェースに使用するIETF標準プロトコルの基礎を築いた。[29]彼は、Let's Encryptを運営する非営利団体であるインターネットセキュリティ研究グループの取締役を務めている。 [30]彼はまた、ネットワークセキュリティ企業であるCensysの共同設立者兼主任科学者でもある。[31 ]ハルダーマンによると、Censysは「セキュリティをより定量的、より精密、より正確なものにすることで、セキュリティの仕組みを変える」ことを目指している。[32]
2015年、ハルダーマンはスティーブン・M・ベロビン、マット・ブレイズ、ナディア・ヘニンガー、アンドレア・M・マトウィシンを含む提案者チームの一員となり、デジタルミレニアム著作権法第1201条に対するセキュリティ研究の免除を提案し、成功した。[33]
ハルダーマンは2015年にアルフレッド・P・スローン財団からスローン研究フェローシップを授与され、2019年にはニューヨークのカーネギー財団からアンドリュー・カーネギーフェローに任命された。[34]彼はプレイボーイ の2016年11月号で紹介された。[9]
電子投票
2016年のアメリカ大統領選挙後、ハルダーマン氏を含むコンピュータ科学者は、電子投票機のハッキングが記録された結果に影響を与えた可能性を排除するために、ウィスコンシン州、ミシガン州、ペンシルベニア州(トランプ氏が僅差で勝利し、クリントン氏がニューハンプシャー州とメイン州で僅差で勝利した3つの激戦州)で選挙の再集計を要求するようクリントン陣営に促した。[35] [36] [37]
2017年6月21日、ハルダーマンは米国上院情報特別委員会で証言した。[38] [39] [40] 「 2016年米国選挙におけるロシアの干渉」と題された公聴会は、外部からの干渉から米国選挙を保護する連邦政府の役割に焦点を当てた。ハルダーマンは、コンピューターサイエンスとサイバーセキュリティに関する自身の研究について語った。彼は、投票機を改ざんし、選挙結果を変える能力を実証したある事例について語った。彼はまた、米国の選挙を保護するための3つの政策提言を行った。それは、時代遅れで脆弱な投票機をアップグレードして交換すること、米国の選挙結果が正確であることを一貫して定期的に確認すること、投票機の設計と選挙管理にサイバーセキュリティのベストプラクティスを適用することである。ハルダーマンは、自身の研究と政策提言について上院議員からの質問に答えた。公聴会の最後に、バー委員長はハルダーマンの研究を称賛し、彼の研究がいかに重要であるかを指摘した。[要出典]
2020年のアメリカ大統領選挙後、ハルダーマンは、非公式の投票集計中に発生したソフトウェアの不具合は不正ではなく人為的ミスによるものだと述べ、[41]スーパーコンピューターを使ってトランプ氏からバイデン氏に票を入れ替えたという陰謀説は「ナンセンス」だと述べた。[42]
投票機の脆弱性に関する彼の専門家証言報告書はジョージア州の訴訟で非公開で提出されたが、別の訴訟の原告とルイジアナ州の選挙管理官によって提出を求められている。[43]
2022年、CISAはハルダーマンの研究に基づいて「Dominion Voting Systems ImageCast Xに影響を与える脆弱性」という勧告を発行した。[44]
参考文献
- ^ 「セキュリティ障害とその原因の調査:コンピュータセキュリティへの分析的アプローチ - ProQuest」www.proquest.com 。 2024年11月19日閲覧。
- ^ “J. Alex Halderman”. jhalderm.com . 2022年5月8日閲覧。
- ^ Noden, Merrell (2006-03-22). 「Who's Afraid of Alex Halderman '03?」. Princeton Alumni Weekly . 2019-06-09閲覧。
- ^ Halderman, J. Alex; Schoen, Seth D.; Heninger, Nadia; Clarkson, William; Paul, William; Calandrino, Joseph A.; Feldman, Ariel J.; Appelbaum, Jacob; Felten, Edward W. (2009). 「忘れてはならないこと: 暗号化キーに対するコールドブート攻撃」(PDF) . Communications of the ACM . 52 (5): 91–98. doi :10.1145/1506409.1506429. ISSN 0001-0782. S2CID 7770695.
- ^ Xu, Xueyang; Mao, Z. Morley ; Halderman, J. Alex (2011). 「中国におけるインターネット検閲:フィルタリングはどこで行われているのか?」(PDF) .受動的および能動的測定. コンピュータサイエンスの講義ノート。6579 . Springer: 133–142. Bibcode :2011LNCS.6579..133X. doi :10.1007/978-3-642-19260-9_14. ISBN 978-3-642-19259-3。
- ^ Aryan, Simurgh; Aryan, Homa; Halderman, J. Alex (2013). 「イランにおけるインターネット検閲:第一印象」(PDF)。インターネット上の自由でオープンなコミュニケーションに関する第3回USENIXワークショップ(FOCI)。
- ^ Pujol, Eduardo; Scott, Will; Wustrow, Eric; Halderman, J. Alex (2017). 「キューバの街路網の初期測定」(PDF) . ACM インターネット測定会議.
- ^ Wolchok, Scott; Yao, Randy; Halderman, J. Alex (2009-06-18). 「Green Dam Censorware System の分析」。2019-06-09に閲覧。
- ^ abc Friess, Steve (2016年9月29日). 「Technology Will Destroy Democracy Until This Man Stops It」. Playboy . 2016年11月25日時点のオリジナルよりアーカイブ。 2016年11月24日閲覧。
- ^ Frolov, Sergey; Douglas, Fred; Scott, Will; McDonald, Allison; VanderSloot, Benjamin; Hynes, Rod; Kruger, Adam; Kallitsis, Michalis; Robinson, David G.; Borisov, Nikita; Halderman, J. Alex; Wustrow, Eric (2017). 「TapDance の ISP 規模の展開」(PDF)。インターネット上の自由でオープンな通信に関する第 7 回 USENIX ワークショップ。
- ^ Heninger, Nadia; Durumeric, Zakir; Wustrow, Eric; Halderman, J. Alex (2012). 「P と Q のマイニング: ネットワーク デバイスに広く存在する弱いキーの検出」(PDF)。第 21 回 USENIX セキュリティ シンポジウム。
- ^ Condon, Angela. 「2012 年の注目すべきコンピューティング書籍と記事」。ACM Computing Reviews。
- ^ Adrian, David; Bhargavan, Karthikeyan; Durumeric, Zakir; Gaudry, Pierrick; Green, Matthew; Halderman, J. Alex; Heninger, Nadia; Springall, Drew; Thomé, Emmanuel; Valenta, Luke; VanderSloot, Benjamin; Wustrow, Eric; Zanella-Béguelin, Santiago; Zimmermann, Paul (2019). 「不完全な前方秘匿性: Diffie-Hellman が実践で失敗する理由」(PDF) . Communications of the ACM . 61 (1): 106–114. doi :10.1145/3292035. S2CID 56894427.
- ^ アヴィラム、ニムロッド;シンゼル、セバスチャン。ソモロフスキー、ジュラジ。ヘニンガー、ナディア。ダンケル、マイク。スチューベ、イェンス。ヴァレンタ、ルーク。エイドリアン、デイビッド。ハルダーマン、J.アレックス。ドゥホヴニ、ヴィクトル。カスパー、エミリア。シャナン州コーニー。エンゲルス、スザンヌ。パール、クリストフ。シャビット、ユヴァル (2016)。 「DROWN: SSLv2 を使用した TLS の破壊」(PDF)。第 25 回 USENIX セキュリティ シンポジウム。
- ^ “The FREAK Attack”. 2015年3月3日. 2019年6月10日閲覧。
- ^ 「DROWN の原因となった要因は何か?」DROWN 攻撃。2016 年。
- ^ Goodin, Dan (2016-03-01). 「新たな復号化攻撃により、1,100 万以上の HTTPS ウェブサイトが危険にさらされる」Ars Technica . 2019 年 6 月 10 日閲覧。
- ^ ミルグロム、ランディ(2017年)。「抵抗する勇気:J・アレックス・ハルダーマンのハイステークスの冒険」ミシガンエンジニア。
- ^ Halderman, J. Alex; Heninger, Nadia (2015-10-14). 「NSA はどのようにしてこれほど多くの暗号を破っているのか?」Freedom-to-Tinker . 2019-06-10閲覧。
- ^ Guthrie Weissman, Cale (2015-05-21). 「エドワード・スノーデン、米国が国民をスパイするのに役立つ可能性のあるインターネットの大きな脆弱性について意見を述べる」Business Insider . 2019-06-10閲覧。
- ^ Durumeric, Zakir; Wustrow, Eric; Halderman, J. Alex (2013). 「ZMap: インターネット全体の高速スキャンとそのセキュリティアプリケーション」(PDF)。第 22 回 USENIX セキュリティシンポジウム。
- ^ Lee, Timothy B. (2013-08-13). 「インターネット全体を1時間でスキャンすると、次のようなことが分かります」。ワシントンポスト。2019年6月11日閲覧。
- ^ Durumeric, Zakir; Li, Frank; Kasten, James; Amann, Johanna; Beekman, Jethro; Payer, Mathias ; Weaver, Nicolas; Adrian, David; Paxson, Vern; Bailey, Michael; Halderman, J. Alex (2014). 「The Matter of Heartbleed」。2014年インターネット測定会議会議議事録。pp. 475–488。doi : 10.1145 / 2663716.2663755。ISBN 9781450332132. S2CID 142767。
{{cite book}}: CS1 メンテナンス: 日付と年 (リンク) - ^ Gallagher, Sean (2014-04-10). 「研究者らがHeartbleed OpenSSLバグの潜在的なターゲットを数千件発見」Ars Technica . 2019年6月10日閲覧。
- ^ Durumeric, Zakir; Adrian, David; Mirian, Ariana; Kasten, James; Bursztein, Elie; Lidzborski, Nicholas; Thomas, Kurt; Eranti, Vijay; Bailey, Michael; Halderman, J. Alex (2015)。「雪でも雨でもMITMでもない: 電子メール配信セキュリティの実証的分析」。第15回ACMインターネット測定会議。
- ^ Bursztein, Elie; Lidzborski, Nicolas (2015-11-12). 「新しい研究: メール セキュリティにおける有望な傾向と新たな脅威」。Googleセキュリティ ブログ。2019年 6 月 11 日閲覧。
- ^ Lidzborski, Nicolas; Pevarnek, Jonathan (2016-03-24). 「暗号化、通知、メールセキュリティの強化」。Googleセキュリティ ブログ。2019年 6 月 11 日閲覧。
- ^ Aas, Josh (2018-12-31). 「2019 年を楽しみにしています」。Let 's Encrypt ブログ。2019年 6 月 11 日閲覧。
- ^ Barnes, R.; Hoffman-Andrews, J.; McCarney, D.; Kasten, J. (2019-03-12). Automatic Certificate Management Environment (ACME). IETF . doi : 10.17487/RFC8555 . RFC 8555 . 2019-03-13に取得。
- ^ 「Internet Security Research Group について」。Internet Security Research Group。2019年 6 月 11 日閲覧。
- ^ 「Censysについて」2019年6月9日閲覧。
- ^ 「2018 技術移転年次報告書」(PDF) .ミシガン大学. 2019 . 2019 年 6 月 10 日閲覧。
- ^ 「第1201条の規則制定:回避禁止の例外を決定するための第6回3年ごとの手続き」(PDF)。
- ^ 「ミシガン大学の教授2人がカーネギーフェローシップを受賞」ミシガンニュース。2019年4月23日。 2019年6月9日閲覧。
- ^ Dan Merica (2016年11月23日). 「コンピューター科学者がクリントン陣営に選挙結果に異議を唱える」CNN . 2016年11月23日閲覧。
- ^ ガブリエル・トリップ、サンガー、デイビッド・E. (2016-11-23)。「ヒラリー・クリントン支持者、激戦州で投票の再集計を要求」ニューヨーク・タイムズ。 2017年6月26日閲覧。
- ^ Halderman, J. Alex (2016-11-24). 「選挙がハッキングされたかどうかを知りたいですか? 投票用紙を見てください」。Medium 。2016年11月24日閲覧。
- ^ ネイラー、ブライアン (2017-06-21)。「米国の選挙システムは脆弱、議員は決闘公聴会で指摘」ナショナル・パブリック・ラジオ。2017-06-26閲覧。
私の結論は、高度にコンピュータ化された選挙インフラは妨害行為や、投票結果を変える可能性のあるサイバー攻撃に対して脆弱であるということです。これらの現実により、アメリカ国民が選挙結果を信頼することがより困難になる恐れがあります。私は同僚と私がアメリカの投票機をハッキングしたことがあるので、アメリカの投票機が脆弱であることを知っています。
- ^ 「公聴会 | 情報委員会」。米国上院。 2017年6月26日閲覧。
- ^ 「J.アレックス・ハルダーマンによる専門家証言」(PDF)。米国上院。2017年6月21日。 2017年6月26日閲覧。
- ^ 「米国選挙のファクトチェック:投票は死んだのか?」2020年11月10日。 2020年12月4日閲覧。
- ^ フィチェラ、アンジェロ、スペンサー、サラナック(2020年11月13日)。「偽理論はスーパーコンピューターが選挙で投票を入れ替えたと主張している」 。 2020年12月4日閲覧。
同様に、ミシガン大学のコンピューターサイエンスとエンジニアリングの教授であるJ.アレックス・ハルダーマンは、陰謀論は「ナンセンス」だと語った。
- ^ ケイト・ブルムバック。AP通信。(2022年1月13日)「フォックスニュース、その他、投票機に関するレポートへのアクセスを求める」USNewsウェブサイト 2022年3月12日閲覧。
- ^ 「Dominion Voting Systems ImageCast X に影響を与える脆弱性 | CISA」www.cisa.gov 2022 年 6 月 3 日。
外部リンク
- J.アレックス・ハルダーマンのホームページ
