jaredreabow/reverse-engineering-with-aiAI支援分析、独立した検証、公開ソースの参照を用いて、暗号化されたファームウェアやソフトウェアをリバースエンジニアリングするための調査手法。
暗号化されたファームウェアやソフトウェアのリバースエンジニアリングを、AIを活用した分析・実験・レビューで支援する実践的な研究ガイドです。
中心となる問いは、保護された素材がどこで利用可能になるのか、そしてその地点が観測可能かどうかです。鍵を復元することは一つの経路にすぎません。他には、等価な平文成果物を見つける、変換を観測する、既存のリーダーを実行する、鍵を復元せずに挙動を再構築する、といった方法があります。
このリポジトリには、31手法のサーベイ、証拠フレームワーク、公開ソースの事例、再利用可能な調査テンプレートが含まれています。ファイル分析、ソフトウェアインストルメンテーション、リホスティング、ハードウェア取得、サイドチャネル、暗号学的限界を扱います。各手法は前提条件、得られうる結果、結論を裏付けるために必要な証拠を区別しています。
公開ソースのケーススタディでは、暗号化イメージの設計、透過的なフラッシュ復号、Android設定の永続化、ブートのマイルストーンを例示しています。ソース索引は、ガイド全体で使用されるドキュメント、実装、論文へのリンクを提供します。
| 望む結果 | それを確立するもの |
|---|---|
| 単一の平文成果物 | 正しく範囲を定めた認証、または独立した参照との一致、および整合した構造 |
| 再利用可能なコンテンツ鍵 | 該当サンプルでの独立に検証された復号、および鍵のスコープの特定 |
| デバイス鍵またはルート鍵 | 検証済みの鍵の同一性とスコープ。コンテンツ鍵や鍵ハンドルだけでは不十分 |
| 挙動の説明 | 具体的なトレース、データフロー、および記述された挙動を網羅するテスト |
| 再構築された実行ファイル | フォーマットの正確性、および文書化された環境での代表的な挙動 |
| ベンダーに受け入れられた改変イメージ | 実際の署名とブート受け入れ経路に関する別個の証拠 |
初期の研究は、Astra、Opus、Fableの貢献を含む、AI支援による専門家調査と批判的レビューを通じて開発されました。レビューは選択的に統合され、裏付けのない解釈や重複する作業は却下されました。結果として得られたガイドは方法論的な主張を行い、公開ソースを引用しますが、新しい万能復号器や特定デバイスの侵害実証を主張するものではありません。
公開リポジトリには、研究用の文章、公開リンク、空のテンプレート、およびドキュメント検証ツールが含まれています。ファームウェアバイナリ、非公開のキャプチャ、デバイス識別子、抽出された鍵、認証情報、運用ログは公開範囲外です。本手法は、あなたが調査を許可されているシステムおよび成果物にのみ適用してください。
Python 3.9 以降で十分であり、サードパーティ製パッケージは不要です。
python3 tools/check_docs.py
python3 tools/check_docs.py --self-test
ローカルハーネスは、ファイルインベントリ、Markdownリンク、メソッド番号、ソースインデックス、バージョン記録、およびいくつかの一般的な偶発的公開パターンをチェックします。ファームウェアの実行、デバイスへの接続、リンク先ウェブサイトの取得、すべての技術的記述が正しいことの証明は行いません。ソースの検証は引き続き研究レビューの一部です。