When designing a study, the planned sample size is often based on power analyses. One way to choose an effect size for power analyses is by relying on…

Null hypothesis significance testing has been under attac...

Working repo for DEPower . Contribute to gennadygorin/poweranalysis development by creating an account on GitHub.

YouTube video by Quarch Technology

<p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="675" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250205/20250205135625.png" title="" width="1198"/></span> こんにちは、or2です。<br/> 最近サイドチャネル攻撃の一種、電力解析(PowerAnalysis)という攻撃の実験をしていました。<br/> 非常に面白いもので、デ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>の消費電力から内部動作を推定したり、扱っているデータを推測することができます(条件はありますが)。</p> <p>「消費電力から内部のことなんてわかるはずない！」などと侮っていたのですが、現実的な時間で重要な情報を特定できることがわかりました。<br/> 今回は電力解析の一種、Simple Power Analysis(SPA)についての実験結果をまとめたいと思います。<br/> 攻撃対象は自作したパスワード認証をのせたAtmega328pです。 <br/> ※Atmega328pは<a class="keyword" href="https://d.hatena.ne.jp/keyword/Arduino">Arduino</a>に搭載されている<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%DE%A5%A4%A5%B3%A5%F3">マイコン</a>です。</p> <ul> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E6%B6%88%E8%B2%BB%E9%9B%BB%E5%8A%9B%E3%81%8B%E3%82%89%E6%A9%9F%E5%AF%86%E6%83%85%E5%A0%B1%E3%82%92%E7%89%B9%E5%AE%9A%E3%81%99%E3%82%8B%E6%96%B9%E6%B3%95spa%E7%B7%A8">消費電力から機密情報を特定する方法(SPA編)</a> <ul> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E6%A7%8B%E6%88%90">構成</a> <ul> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E8%84%86%E5%BC%B1%E3%81%AA%E3%83%91%E3%82%B9%E3%83%AF%E3%83%BC%E3%83%89%E8%AA%8D%E8%A8%BC">脆弱なパスワード認証</a></li> </ul> </li> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E6%94%BB%E6%92%83%E6%89%8B%E6%B3%95">攻撃手法</a> <ul> <li><a href="https://devblog.lac.co.jp/entry/20250206#SPA%E3%81%AE%E8%A3%9C%E8%B6%B3">SPAの補足</a></li> <li><a href="https://devblog.lac.co.jp/entry/20250206#DPACPA%E3%81%AE%E8%A3%9C%E8%B6%B3">DPA/CPAの補足</a></li> </ul> </li> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E5%AE%9F%E9%A8%93">実験</a> <ul> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E3%83%91%E3%82%B9%E3%83%AF%E3%83%BC%E3%83%89%E9%95%B7%E3%81%AE%E7%89%B9%E5%AE%9A">パスワード長の特定</a></li> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E3%83%91%E3%82%B9%E3%83%AF%E3%83%BC%E3%83%891%E6%96%87%E5%AD%97%E7%9B%AE%E3%81%AE%E7%89%B9%E5%AE%9A">パスワード1文字目の特定</a></li> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E3%83%91%E3%82%B9%E3%83%AF%E3%83%BC%E3%83%89%E5%85%A8%E4%BD%93%E3%81%AE%E7%89%B9%E5%AE%9A">パスワード全体の特定</a> <ul> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E5%A4%B1%E6%95%97%E4%BE%8B">失敗例</a></li> </ul> </li> </ul> </li> </ul> </li> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E3%81%8A%E3%81%BE%E3%81%91">おまけ</a></li> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E5%AF%BE%E7%AD%96">対策</a></li> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E3%81%BE%E3%81%A8%E3%82%81">まとめ</a></li> <li><a href="https://devblog.lac.co.jp/entry/20250206#%E5%8F%82%E8%80%83">参考</a></li> </ul> <h2 id="免責事項">免責事項</h2> <p>当記事の内容は教育・学習およびセキュリティの向上目的で執筆されており、<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%B5%A5%A4%A5%D0%A1%BC%B9%B6%B7%E2">サイバー攻撃</a>行為を推奨するものではありません。 第<a class="keyword" href="https://d.hatena.ne.jp/keyword/%BB%B0%BC%D4">三者</a>が所有する資産に管理者の許可なく攻撃行為を行うと各種の法律に抵触する可能性があります。 当記事の内容を使用して起こるいかなる損害や損失に対し、当社は一切責任を負いません。</p> <p>※当記事の検証では、自身で作成したパスワード認証<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D5%A5%A1%A1%BC%A5%E0%A5%A6%A5%A7%A5%A2">ファームウェア</a>を使用しております。当記事で紹介している手法を試行する際は、自身の所有する環境に対して実施してください。</p> <h2 id="構成">構成</h2> <p>今回の実験はAtmega328pに脆弱なパスワード認証<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D5%A5%A1%A1%BC%A5%E0%A5%A6%A5%A7%A5%A2">ファームウェア</a>を実装し、ハードコードされているパスワードを消費電力から推定していきます。</p> <p>パスワードはUARTで入力し、<br/> 正しいパスワードを入力した場合は<code>Passwd OK!!!</code>。<br/> 間違っている場合は<code>Passwd Invalid!!!</code>を出力するようにしています。</p> <p>また、Atmega328pはパスワード入力を検知すると特定のPinをHighにするように設計しているので、これをトリガーとして利用します。<br/> 消費電力の測定はChipWhisperer Liteを使いました。<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%AA%A5%B7%A5%ED%A5%B9%A5%B3%A1%BC%A5%D7">オシロスコープ</a>で測定することもできます。(測定デ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>のクロック周波数に対して十分な測定能力があれば何でも大丈夫です。)<br/> 電源は安定化電源を使います。</p> <p>消費電力の変化は非常に小さいので、なるべくノイズが乗らないように構成することが重要になります。(安定化電源を使いましょう)</p> <p>※ChipWhisperer: サイドチャネル攻撃(電力解析、フォルトインジェクション)を目的に作られた<a class="keyword" href="https://d.hatena.ne.jp/keyword/OSS">OSS</a>の攻撃ツールです。</p> <p>ごちゃごちゃしていますが物理配線は以下のようになります。</p> <p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="550" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250131/20250131122240.png" title="" width="1200"/></span></p> <p>図1. 物理配線図</p> <h3 id="脆弱なパスワード認証">脆弱なパスワード認証</h3> <p>今回実装したパスワード認証は受け取った平文のパスワードとハードコードされている平文のパスワードを1文字ずつ比較するように設計しています。<br/> この実装が原因でSPAに対して脆弱で、消費電力からパスワードが推定できるようになっています。</p> <h2 id="攻撃手法">攻撃手法</h2> <p>電力解析には3つの有名な攻撃があります。</p> <ul> <li>SPA(Simple Power Analysis) <ul> <li>消費電力の特徴から内部で行っていることを推測する攻撃 <ul> <li>実行している命令から生じる消費電力の差を見る方法です</li> <li>命令によって発生する消費電力の差は比較的大きいため、ある程度のノイズであれば気にしなくてもよいです</li> </ul> </li> </ul> </li> <li><a class="keyword" href="https://d.hatena.ne.jp/keyword/DPA">DPA</a>(Differential Power Analysis) <ul> <li>消費電力から扱っているデータを推測する攻撃 <ul> <li>デ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>が扱っているデータによって発生する消費電力の差を見る方法です</li> <li>データによって発生する消費電力の差はかなり小さいので、ノイズの影響を大きく受けます <ul> <li>ノイズの影響をかき消すために大量の測定をして平均をとります</li> </ul> </li> </ul> </li> </ul> </li> <li><a class="keyword" href="https://d.hatena.ne.jp/keyword/CPA">CPA</a>(Correlation Power Analysis) <ul> <li><a class="keyword" href="https://d.hatena.ne.jp/keyword/DPA">DPA</a>の高効率版 <ul> <li>統計的手法(相関分析)によって測定回数を大幅に減らすことができます</li> </ul> </li> </ul> </li> </ul> <p>今回はSimple Power Analysis(以下SPAと略します)を扱っていきます。</p> <p>消費電力とサンプリングポイント(時間)のデータのことをトレースと言うので、以後はこれをトレースと呼んでいきます。</p> <h3 id="SPAの補足">SPAの補足</h3> <p>この攻撃ではデ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>(CPU)が実行している命令によって消費電力の差が発生することを利用し、デ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>が内部で何をやっているかを推測します。</p> <p>まずは「なぜ実行する命令によって消費電力の差が発生するか」を簡単にまとめます。<br/> これは命令によって利用しているHWが異なるからです。<br/> <code>add命令</code>と<code>mov命令</code>の違いを考えてみます。<br/> <code>add命令</code>は2つの<code>レジスタ</code>の値を<code>ALU(演算装置)</code>で加算し、その結果を<code>レジスタ</code>に格納します。<br/> <code>mov命令</code>はある<code>レジスタ</code>から別の<code>レジスタ</code>に値をコピーします。</p> <p>両者では利用するHWがそもそも違いますし、処理のフローも異なります。<br/> 単純に考えると、<code>add命令</code>の方が<code>ALU(演算装置)</code>を使う分消費電力が大きくなりそうですよね？</p> <p>次に、命令の違いから機密情報を特定できる可能性があるロジックについてまとめます。<br/> デ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>にパスワードを入力した時、以下の処理を行っていると考えます(今回の脆弱な実装と同じです)。</p> <ul> <li>パスワードを先頭から1文字ずつチェックし、ハードコードされている正しいパスワードと比較する</li> </ul> <p>この時、パスワードの1文字目が正しい時/正しくない時の動作には以下の違いがあります。</p> <ul> <li>1文字目が正しい時 <ul> <li>2文字目のチェックに移行する</li> </ul> </li> <li>1文字目が間違っている時 <ul> <li>エラー処理に移行する</li> </ul> </li> </ul> <p>この処理の違いを「命令の違いから生じる消費電力の差」として観測することが可能というわけです。</p> <p><strong>SPAは「消費電力から実行している命令の特徴を推定し、内部の処理・状態を推測する」攻撃です。</strong><br/> つまり、デ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>が実行している命令の違いで内部で扱っている機密情報を特定できるような条件分岐がある場合、SPAに対して脆弱であるということになり、今回の実験がこれに該当します。</p> <h3 id="DPACPAの補足"><a class="keyword" href="https://d.hatena.ne.jp/keyword/DPA">DPA</a>/<a class="keyword" href="https://d.hatena.ne.jp/keyword/CPA">CPA</a>の補足</h3> <p>ここでは詳しい説明を割愛します。<br/> 本記事の続編でこれらの攻撃についても書く予定ですので、そちらをお待ちくださいませ！</p> <p>ちなみに弊社の別の情報媒体<code>LAC WATCH</code>から<a class="keyword" href="https://d.hatena.ne.jp/keyword/CPA">CPA</a>(Correlation Power Analysis, 相関電力解析攻撃)についての解説記事が出ています。<br/> ご興味があればぜひ読んでみてください。<br/> <a href="https://www.lac.co.jp/lacwatch/people/20180601_001617.html">https://www.lac.co.jp/lacwatch/people/20180601_001617.html</a></p> <h2 id="実験">実験</h2> <p>パスワードに関する情報が全く分からない状態からスタートし、以下のフローでパスワードの推定を進めていきます。</p> <ol> <li>パスワード長の特定</li> <li>パスワード1文字目の特定</li> <li>パスワード全体の特定</li> </ol> <h3 id="パスワード長の特定">パスワード長の特定</h3> <p>パスワード長の特定のため任意の桁数のパスワードを入力して、その時の消費電力の特徴を見ていきます。<br/> もし間違って1文字目が正しいパスワードと一致してしまったら期待するデータが取れない可能性があるので、入力する<a class="keyword" href="https://d.hatena.ne.jp/keyword/%CA%B8%BB%FA%A5%B3%A1%BC%A5%C9">文字コード</a>は普段使われないもの(<code>"\x01"</code>)を選択しました。<br/> パスワードフォーマットは以下です。</p> <blockquote><p>"\x01" * n(nはパスワード桁数で、1～15とします)</p></blockquote> <p>実行結果は以下のプロットです。<br/> プロットの見方ですが、縦軸が消費電力(に比例した値)、横軸が時間です。<br/> 今回の設定ではサンプリングレートを128M samples/secとしているので、約7.8n秒ごとに1点測定しています。</p> <p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="728" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250131/20250131122329.png" title="" width="979"/></span></p> <p>図2. 異なるパスワード長のトレース 全体像(パスワード長の特定)</p> <p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="579" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250131/20250131122423.png" title="" width="778"/></span></p> <p>図3. 異なるパスワード長のトレース 特異なトレース(パスワード長の特定)</p> <p>図2のトレースを拡大して丁寧に見ていくと図3が現れました。<br/> パスワード長を8桁に設定した時、ほかの桁数と比べてトレースが特異な状態にあるため、なにやら特別な処理をしていることを示唆しています。<br/> これによりパスワード長が8桁である可能性が高いと想定できます。</p> <p>次にパスワード長8桁と仮定してパスワード1文字目を総当たりしてみます。</p> <h3 id="パスワード1文字目の特定">パスワード1文字目の特定</h3> <p>8文字のパスワードのうちの１文字目を特定していきます。<br/> ターゲットに入力するパスワードフォーマットは以下です。<br/> もし「パスワード1文字目」が正しい場合は2文字目のチェックに遷移するトレースが、間違っている場合はエラー処理に遷移するトレースが取得できることを期待します。</p> <blockquote><p>「パスワード1文字目」 + "\x01" * 7</p></blockquote> <p>また、ここではちょっとしたテクニックを使います。<br/> 先ほどと同じように一つずつトレースをチェックするのもいいのですが面倒です。<br/> なのでトレースの差分を見ていくことにします。</p> <p>何の差分かというと、絶対に間違っているパスワードを入力した場合のトレースと、試したいパスワード(の1文字目)を入力した時のトレースの差分をとります。<br/> 最後に差分トレースの<a class="keyword" href="https://d.hatena.ne.jp/keyword/%C0%D1%CA%AC">積分</a>をとれば、特異なトレースを示した場合に値が大きくなることが期待できます。(<a class="keyword" href="https://d.hatena.ne.jp/keyword/%C0%D1%CA%AC">積分</a>はとらず、トレースの差分をプロットして目で確認してもいいです。)<br/> これを実行したのが図4、<a class="keyword" href="https://d.hatena.ne.jp/keyword/%C0%D1%CA%AC">積分</a>したのが図5です。</p> <p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="892" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250131/20250131122438.png" title="" width="1176"/></span></p> <p>図4. 差分トレース(パスワード1文字目の特定)</p> <p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="1055" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250131/20250131122450.png" title="" width="427"/></span></p> <p>図5. 差分トレースの<a class="keyword" href="https://d.hatena.ne.jp/keyword/%C0%D1%CA%AC">積分</a>値(パスワード1文字目の特定)</p> <p>図5から最も特異なトレースを示したのが<code>p</code>であることが特定できました。<br/> 実験環境によって以下の工夫をするとよいです。</p> <ul> <li>何度かトレースをとって平均する</li> <li><a class="keyword" href="https://d.hatena.ne.jp/keyword/%C0%D1%CA%AC">積分</a>するサンプリングポイントのレンジを調整する <ul> <li>ノイズの影響が小さくなるように、目的の差分が現れるポイントに目星を付ける</li> </ul> </li> <li>大きな差分が取れた上位何桁を正しいパスワードの候補として扱う</li> </ul> <p>また、実はちょっとしたずるをしています。。。<br/> 今回設定したパスワードは英小文字のみで構成しているので、試行した文字もそれに合わせています。<br/> 本来は一般的にパスワードで利用可能な全ての文字で試した方がいいです。</p> <h3 id="パスワード全体の特定">パスワード全体の特定</h3> <p>あとは処理を自動化するだけ！<br/> 最も大きな差分の文字を正しいパスワードと仮定し、次のパスワード候補を探索していくという処理をパスワード長分ループさせます。<br/> 実行結果を図6に示します。</p> <p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="452" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250131/20250131122504.png" title="" width="1200"/></span></p> <p>図6. パスワード全体の推測</p> <p>最後に得られたパスワードをAtmega328pに入力してみると<br/> 成功です！<br/> <code>Passwd OK!!!</code>が出力されました！</p> <p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="439" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250131/20250131122515.png" title="" width="409"/></span></p> <p>図7. 得られたパスワードで認証</p> <h4 id="失敗例">失敗例</h4> <p>当たり前ですが、トレースの処理が甘いとパスワードの推測に失敗します。<br/> 以下に失敗例を示します。</p> <p><span itemscope="" itemtype="http://schema.org/Photograph"><img class="hatena-fotolife" height="427" itemprop="image" loading="lazy" src="https://cdn-ak.f.st-hatena.com/images/fotolife/l/lac_devblog/20250131/20250131122525.png" title="" width="1150"/></span></p> <p>図8. 失敗例</p> <p>パスワードの最後の文字が<code>g</code>になっていますね。<br/> 一つ前で正解のパスワードの推定に成功していますが、裏では差分を計算する時の時間幅などのパラメータを微調整して、いい感じの差分が出るようにしています。<br/> これはその調整がうまくできていないときの結果です。</p> <h1 id="おまけ">おまけ</h1> <p>今回は消費電力からパスワードを特定する方法についてまとめましたが、デ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>(CPU)が放射する電磁放射(EM放射)からパスワードを特定することも可能でした。<br/> この方法はまだまだ最適化ができておらず、今回と同じ構成でパスワードを特定するのに約50時間ほどかかりました。<br/> ちなみに消費電力から測定する場合は1時間もかからないです。</p> <p>EM放射で電力解析と同等のことができるとなれば面倒なデ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>の配線などを簡略化できるので、時間があるときにより洗練された方法を模索していきます！</p> <h1 id="対策">対策</h1> <p>トレースの差異がわかりやすい処理(条件分岐など)に機密情報を組み込まないことが推奨されます。<br/> また、今回の実装で言えばパスワードをハッシュ化するといった対策も有効です。</p> <h1 id="まとめ">まとめ</h1> <p>サイドチャネル攻撃に関する日本語文献が少なくなかなか触れる機会がない分野ですが、SPAは簡単な原理に基づく攻撃方法でサイドチャネル攻撃の入り口として良い学習コンテンツだと思います。<br/> ご興味のある方はぜひ、お気に入りの<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%DE%A5%A4%A5%B3%A5%F3">マイコン</a>やデ<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%D0%A5%A4%A5%B9">バイス</a>で試してみてはいかがでしょうか！</p> <h1 id="参考">参考</h1> <ul> <li><a href="https://github.com/newaetech/chipwhisperer">Github chipwhisperer</a> <ul> <li>Chipwhispererの公式<a class="keyword" href="https://d.hatena.ne.jp/keyword/%A5%EA%A5%DD%A5%B8%A5%C8%A5%EA">リポジトリ</a>です。</li> <li><a href="https://github.com/newaetech/chipwhisperer-jupyter/tree/f2a8c0df8af8f0ccd6837337968e12cbd2421fd0/courses">courses</a>にはいくつかのシナリオを想定した電力解析・フォルトインジェクションのjupyterノートブックがあります。(Chipwhispererの利用が前提になります。)</li> </ul> </li> <li><a href="https://nostarch.com/hardwarehacking">The Hardware Hacking Handbook by Colin O'Flynn and Jasper van Woudenberg</a> <ul> <li>電力解析やフォルトインジェクションについて丁寧にまとめられた書籍です。</li> </ul> </li> <li><a href="https://link.springer.com/content/pdf/10.1007/3-540-48405-1_25.pdf">Differential Power Analysis</a> <ul> <li>SPA/<a class="keyword" href="https://d.hatena.ne.jp/keyword/DPA">DPA</a>についての理論を提唱した論文です。</li> </ul> </li> </ul>

YouTube video by Max Candocia

Subscription and open access journals from Sage, the world's leading independent academic publisher.

Simulates regression models, including both simple regression and generalized linear mixed models with up to three level of nesting. Power simulations that are flexible allowing the specification of m...

PDF | The calculation of statistical power has been taken up as a simple yet informative tool to assist in designing an experiment, particularly in... | Find, read and cite all the research you need o...

Hello everyone, The shortest formulation of my problem is the following: I’m trying to design a power analysis by simulation for a Dirichlet regression model using brms. How could we calculate the s...