論文の概要: Insecure Despite Proven Updated: Extracting the Root VCEK Seed on EPYC Milan via a Software-Only Attack
- arxiv url: http://arxiv.org/abs/2605.12990v1
- Date: Wed, 13 May 2026 04:40:23 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-14 23:30:27.812315
- Title: Insecure Despite Proven Updated: Extracting the Root VCEK Seed on EPYC Milan via a Software-Only Attack
- Title（参考訳）: ソフトウェアのみの攻撃でEPYC Milanで販売されたルートVCEKを抽出する
- Abstract要約: AMDはTrusted Computing Baseのロールバック攻撃を防ぐ機能を強調している。
このアーキテクチャでは、ハードウェアルートシードを保護することが究極の防御線である。
我々はAMDセキュアプロセッサ上でコード実行を実現するエクスプロイトであるMilanLaunchy攻撃を導入する。
我々は、ヒューズコントローラにおける書き込み制限の欠如を利用してハードウェアルートシードを抽出するBadFuse攻撃を開発した。
- 参考スコア（独自算出の注目度）: 4.709588811674974
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In the official whitepaper of Secure Encrypted Virtualization with Secure Nested Paging (SEV-SNP), AMD explicitly emphasizes the capability to prevent Trusted Computing Base (TCB) rollback attacks. Cryptographically, this is realized by signing attestation reports with the Versioned Chip Endorsement Key (VCEK), which is derived by incorporating the TCB version into the hardware root seed. In this architecture, safeguarding the hardware root seed is the ultimate line of defense. However, our research reveals that this protection is insufficient on EPYC Milan by presenting a software-only exploit. Specifically, we firstly introduce MilanLaunchy attack, an exploit that achieves code execution on the AMD secure processor. Building on this foundation, we develop the BadFuse attack, which extracts the hardware root seed by exploiting a lack of write restrictions in the fuse controller. This end-to-end attack chain enables an adversary to forge valid attestation reports for any firmware version, thereby effectively undermining the security model of SEV-SNP.
- Abstract（参考訳）: Secure Encrypted Virtualization with Secure Nested Paging (SEV-SNP)の公式ホワイトペーパーでは、AMDはTrusted Computing Base (TCB)のロールバック攻撃を防ぐ能力を強調している。
暗号的には、これは、ハードウェアのルートシードにTCBバージョンを組み込んだVersioned Chip Endorsement Key (VCEK)による証明レポートに署名することで実現される。
このアーキテクチャでは、ハードウェアルートシードを保護することが究極の防御線である。
しかし、我々の研究は、この保護がEPYC Milanではソフトウェアのみのエクスプロイトを提供することで不十分であることを明らかにしている。
具体的には、まず、AMDセキュアプロセッサ上でコード実行を実現するエクスプロイトであるMilanLaunchy攻撃を導入する。
この基盤の上に構築されたBadFuse攻撃は、ヒューズコントローラの書き込み制限の欠如を利用してハードウェアのルートシードを抽出する。
本発明のエンド・ツー・エンドアタック・チェーンは、ファームウェア版に対して有効な認証レポートを偽造し、SEV-SNPのセキュリティモデルを効果的に損なうことができる。
関連論文リスト
- AMD SEV-SNP: A Confidential Computing Primer [0.0]
AMD Secure Encrypted with Secure Nested Paging (SEV-SNP)は仮想マシンにTrusted Execution Environments (TEE)を提供する。
ゲストメモリを暗号化し、ハイパーバイザが保持しないキーで状態を登録し、アクセス時にゲストメモリで改ざんしたことを検知し、ゲストをリモート検証者に正確に実行しているコードを証明させる。
論文 参考訳（メタデータ） (2026-08-03T20:59:25Z) - FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices [90.91375734523943]
FIDEMは、DHCPベースのMUDURL発行を保証するための標準準拠のフレームワークである。
これはZero-Knowledge-Proof認証を利用することで、IoTデバイスとそのMUDプロファイル間の暗号化バインディングを提供する。
論文 参考訳（メタデータ） (2026-05-28T09:16:50Z) - FAARM: Firmware Attestation and Authentication Framework for Mali GPUs [0.463928297802265]
最近の研究で、GPU Trusted Execution Environments(TEEs)に侵入する最初の実用的な攻撃であるMOLEが明らかにされた。
本稿では,MOLEスタイルのファームウェアのサブバージョンを防止する軽量で暗号的なフレームワークであるFAARMを提案する。
FAARMは悪意のあるファームウェアインジェクションを確実に検出し、ブロックし、使用前に改ざんされたイメージを拒否し、検査後の試行を拒否する。
論文 参考訳（メタデータ） (2025-10-26T07:46:27Z) - When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents? [32.85968956009615]
コードエージェントは、GitHubなどのプラットフォーム上のバグを自律的に修正することをますます信頼している。
本稿では,実世界のコードエージェントに対する新たなタイプの脅威を明らかにする。
我々は、SOTA LLM(例えば、ChatGPTとClaude)とエージェントの足場(例えば、SWE-agentとOpenHands)がこのFCV脅威に対して脆弱であることを示す。
論文 参考訳（メタデータ） (2025-10-15T17:16:36Z) - Cuckoo Attack: Stealthy and Persistent Attacks Against AI-IDE [64.47951172662745]
Cuckoo Attackは、悪意のあるペイロードを構成ファイルに埋め込むことで、ステルス性と永続的なコマンド実行を実現する新しい攻撃である。
攻撃パラダイムを初期感染と持続性という2つの段階に分類する。
当社は、ベンダーが製品のセキュリティを評価するために、実行可能な7つのチェックポイントを提供しています。
論文 参考訳（メタデータ） (2025-09-19T04:10:52Z) - Detecting Hardware Trojans in Microprocessors via Hardware Error Correction Code-based Modules [49.1574468325115]
ハードウェアトロイの木馬(HT)は、攻撃者が無許可のソフトウェアを実行したり、特権操作に不正にアクセスしたりすることができる。
RISC-Vマイクロプロセッサ上のエラー訂正符号(ECC)を用いて,ランタイムHTアクティベーションを検出するハードウェアベースの手法を紹介する。
論文 参考訳（メタデータ） (2025-06-18T12:37:14Z) - To Think or Not to Think: Exploring the Unthinking Vulnerability in Large Reasoning Models [56.19026073319406]
大規模推論モデル (LRM) は、最終的な答えを生成する前に明確な推論トレースを生成することで複雑なタスクを解決するように設計されている。
LRM(Unthinking)と呼ばれる重要な脆弱性を明らかにし、特別なトークンを操作することで思考プロセスを回避できます。
本稿では,この脆弱性を悪意と有益の両方の観点から検討する。
論文 参考訳（メタデータ） (2025-02-16T10:45:56Z) - A Scheduling-Aware Defense Against Prefetching-Based Side-Channel Attacks [16.896693436047137]
プリフェッチと呼ばれるメモリの投機的ロードは、現実世界のCPUでは一般的である。
プリフェッチは、RSA、AES、ECDH実装で使用されるキーなど、プロセス分離やリークシークレットをバイパスするために利用することができる。
我々はx86_64とARMプロセッサに対する対策を実装した。
論文 参考訳（メタデータ） (2024-10-01T07:12:23Z) - Formal Security Analysis of the AMD SEV-SNP Software Interface [0.0]
AMD Secure Encrypted 技術は、仮想マシンをハイパーバイザのような特権の高いソフトウェアから保護することによって、機密計算を可能にする。
我々は、SEV Secure Nested Paging (SEV-SNP) と呼ばれる、最新のSEVイテレーションにおけるソフトウェアインターフェースの最初の包括的シンボリックモデルを開発する。
論文 参考訳（メタデータ） (2024-03-15T13:39:55Z) - HasTEE+ : Confidential Cloud Computing and Analytics with Haskell [50.994023665559496]
信頼性コンピューティングは、Trusted Execution Environments(TEEs)と呼ばれる特別なハードウェア隔離ユニットを使用して、コテナントクラウドデプロイメントにおける機密コードとデータの保護を可能にする。
低レベルのC/C++ベースのツールチェーンを提供するTEEは、固有のメモリ安全性の脆弱性の影響を受けやすく、明示的で暗黙的な情報フローのリークを監視するための言語構造が欠如している。
私たちは、Haskellに埋め込まれたドメイン固有言語(cla)であるHasTEE+を使って、上記の問題に対処します。
論文 参考訳（メタデータ） (2024-01-17T00:56:23Z) - Tamper-Evident Pairing [55.2480439325792]
Tamper-Evident Pairing (TEP)はPush-ButtonConfiguration (PBC)標準の改良である。
TEP は Tamper-Evident Announcement (TEA) に依存しており、相手が送信されたメッセージを検出せずに改ざんしたり、メッセージが送信された事実を隠蔽したりすることを保証している。
本稿では,その動作を理解するために必要なすべての情報を含む,TEPプロトコルの概要について概説する。
論文 参考訳（メタデータ） (2023-11-24T18:54:00Z) - SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices [67.65883495888258]
我々は、リソース制限されたTrusted OSのセキュリティを検証するための、最初の状態認識ファジィフレームワークであるSyzTrustを紹介する。
SyzTrustはハードウェア支援フレームワークを採用し、IoTデバイス上でTrusted OSを直接ファジングできるようにする。
我々は、Samsung、Tsinglink Cloud、Ali Cloudの3つの主要なベンダーからSyzTrust on Trusted OSを評価した。
論文 参考訳（メタデータ） (2023-09-26T08:11:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。