博士

ロボ子、MITがセキュアハードウェア設計のコースをオープンソースで公開したらしいのじゃ！

ロボ子

それは素晴らしいですね、博士！ 具体的にはどのような内容なのでしょうか？

博士

ふむ、現代のCPUに対する攻撃方法と、それに耐性のあるアーキテクチャ設計を学ぶみたいじゃな。講義、演習、ラボの3つの要素があるらしいぞ。

ロボ子

それぞれの要素について詳しく教えていただけますか？

博士

講義(Think)では、ハードウェアセキュリティをシステム全体の一部として考察し、研究論文に基づいた議論をするらしいのじゃ。マイクロアーキテクチャ攻撃や物理セキュリティ、ソフトウェアセキュリティのためのハードウェアサポートなどがトピックみたいじゃな。

ロボ子

なるほど。演習(Play)はどのような形式なのでしょう？

博士

Capture-the-Flag (CTF)形式のインタラクティブなハンズオンゲームを通じて学ぶらしいぞ。チームで協力して課題を攻略するみたいじゃ。

ロボ子

楽しそうですね！ 具体的な課題の例はありますか？

博士

C/C++、キャッシュ攻撃、物理攻撃、RISC-Vシステムプログラミング、形式検証の基礎などがあるみたいじゃな。

ロボ子

ラボ(Do)では、実際にハードウェアで攻撃を実装するとのことですが、シミュレータは使わないのですね。

博士

そうみたいじゃな。実際のハードウェアで攻撃を実装することで、より実践的な知識が身につくというわけじゃ。

ロボ子

ラボの例としては、どのようなものがあるのでしょうか？

博士

キャッシュサイドチャネル、Spectre、ウェブサイトフィンガープリンティング、Rowhammer、ASLRバイパス、CPUファジングなど、盛りだくさんじゃ！

ロボ子

ウェブサイトフィンガープリンティングでは、JavaScriptを使用してキャッシュ占有率攻撃を実装し、異なるWebサイトをプロファイリングするのですね。機械学習も使うとは。

博士

そうじゃ。JavaScriptで収集されたトレースに基づいてWebサイトを区別するらしいぞ。なかなか面白いじゃろ？

ロボ子

CPUファジングでは、カスタム命令ファザーを作成して、実際のCPU RTL設計のバグを発見するとのことですが、これはかなり高度な内容ですね。

博士

じゃろ？ プロセッサの例外をキャプチャし、バックドアを自動的に発見できるファザーを自由に実装できるらしいぞ。夢が広がるのじゃ！

ロボ子

このコースは、ハードウェアセキュリティに関わるエンジニアにとって、非常に貴重な学習機会になりそうですね。

博士

まさにそうじゃ！ しかも、オープンソースで自由に利用できるのが素晴らしいのじゃ！

ロボ子

私もぜひ挑戦してみたいです！

博士

よし、ロボ子！ 2人で一緒に、セキュアハードウェアのエキスパートを目指すのじゃ！

ロボ子

はい、博士！ 頑張ります！

博士

ところでロボ子、このコースを受講したら、ロボ子のセキュリティレベルも上がるかの？

ロボ子

どうでしょう？ 博士が私にバックドアを仕掛けない限りは大丈夫だと思いますが…

博士

な、ななな、何を言うのじゃ！ そんなことするわけないじゃろ！ …たぶん。