論文の概要: PRISM: Lightweight Enclave Isolation with Prismatic Capabilities
- arxiv url: http://arxiv.org/abs/2608.26367v1
- Date: Wed, 26 Aug 2026 19:51:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-28 16:30:58.167874
- Title: PRISM: Lightweight Enclave Isolation with Prismatic Capabilities
- Title（参考訳）: PRISM: プリセット機能付き軽量エンクレーブ分離
- Authors: Merve Gülmez, Adam Caulfield, Hakan Englund, N. Asokan, Thomas Nyman,
- Abstract要約: CHERIはオブジェクトレベルで空間記憶の安全性を強制することができる。
CHERIプリミティブを使用してTEEを確立する試みは、高価な機能停止操作に悩まされる。
CHERIのためのTEEアーキテクチャであるPRISMを提案する。
- 参考スコア（独自算出の注目度）: 13.09350432087335
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Trusted execution environments (TEEs) protect sensitive code and data from external interference, but lack inherent memory safety. CHERI can enforce spatial memory safety at the object level. Attempts to establish a TEE using CHERI primitives suffer from (1) expensive capability revocation operations, (2) need to rely on the host operating system (OS) to support provenance tracking and physical memory protection, (3) expensive domain transitions, and (4) lack of support for remote attestation. We introduce prismatic capabilities and present PRISM, a TEE architecture for CHERI leveraging prismatic capabilities to create userspace enclaves while addressing these challenges. PRISM binds enclave 'hues' (identifiers) in prismatic capabilities to physical memory access controls, enables O(1) ownership establishment without memory sweeps, and supports efficient domain transitions that atomically activate and deactivate prismatic capabilities. Additionally, PRISM enables remote attestation of its enclaves. We demonstrate that execution of userspace enclaves in PRISM incurs only moderate overhead (<= 15%), a significant improvement over the same workloads under Intel SGX
- Abstract（参考訳）: 信頼された実行環境(TEE)は、機密性の高いコードやデータを外部の干渉から保護するが、固有のメモリ安全性は欠如している。
CHERIはオブジェクトレベルで空間記憶の安全性を強制することができる。
CHERIプリミティブを使用したTEE確立の試みは、(1)高価な機能停止操作、(2)証明追跡と物理記憶保護をサポートするためにホストオペレーティングシステム(OS)に頼ること、(3)高価なドメイン遷移、(4)リモート検査のサポートの欠如に悩まされている。
本稿では,これらの課題に対処しながらユーザ空間のエンクレーブを作成するために,プライスマティクス機能を活用したCHERI用TEEアーキテクチャであるPRISMを紹介する。
PRISMは、プリサマティクスの機能を物理的メモリアクセス制御に結合し、メモリスイープなしでO(1)オーナシップの確立を可能にし、プリサマティクス機能をアトミックに活性化し非アクティベートする効率的なドメイン遷移をサポートする。
さらに、PRISMはエンクレーブのリモート検査を可能にする。
我々は、PRISMにおけるユーザ空間エンクレーブの実行は、Intel SGXの下での同一ワークロードに対する大幅な改善である、中程度のオーバーヘッド(=15%)しか発生しないことを示した。
関連論文リスト
- More Granular, Less Trust: Enforcing Intra-Process Isolation with Arm CCA in an Untrusted Management Environment [15.118579654055603]
CCAegisはArm Confidential Compute Architecture(CCA)を拡張して、機密データと操作をプロセス内で分離するシステムである。
CCAegisは、実際の暗号化ワークロードのオリジナルバージョンと比較して1.01xから1.43倍のパフォーマンスオーバーヘッドがあるため、センシティブなデータや操作を効果的に分離する。
論文 参考訳（メタデータ） (2026-08-20T21:42:16Z) - PICASSO: Scaling CHERI Use-After-Free Protection to Millions of Allocations using Colored Capabilities [8.29875974569966]
我々は、CHERIの能力モデルに間接的な制御形式を追加する色付き機能を導入します。
色付き機能は、セキュリティを改善しながら、機能の取り消し頻度を大幅に減少させる。
本評価では,ヒープベースの時間的メモリ安全性の脆弱性に対して,使用後およびダブルフリーのバグを効果的に軽減できることを示す。
論文 参考訳（メタデータ） (2026-02-09T19:22:51Z) - Why Does the LLM Stop Computing: An Empirical Study of User-Reported Failures in Open-Source LLMs [50.075587392477935]
オープンソースのDeepSeek、Llama、Qwenのエコシステムから、705の現実世界の失敗に関する大規模な実証的研究を行った。
ホワイトボックスオーケストレーションは、モデルアルゴリズムの欠陥からデプロイメントスタックのシステム的脆弱性へと、信頼性のボトルネックを移動させます。
論文 参考訳（メタデータ） (2026-01-20T06:42:56Z) - CAPIO: Safe Kernel-Bypass of Commodity Devices using Capabilities [0.2624902795082451]
CAPIOは、メモリマップされたI/Oにきめ細かいアクセス制御を強制するハードウェア機能を利用する最初のアーキテクチャである。
CAPIOは、特権リソースのバイトレベルアクセス制御を強制しながら、カーネルバイパスのレイテンシ改善を実現する。
論文 参考訳（メタデータ） (2025-12-18T01:54:00Z) - Breaking Isolation: A New Perspective on Hypervisor Exploitation via Cross-Domain Attacks [36.844941042404315]
クロスドメインアタック(Cross-Domain Attacks)は、ゲストメモリの再利用を通じて能力のエスカレーションを可能にする、エクスプロイトテクニックのクラスである。
我々は、ドメイン横断ガジェットを特定し、それらを劣化したポインタとマッチングし、入力をトリガーするシステムを開発し、完全なエクスプロイトチェーンを組み立てる。
論文 参考訳（メタデータ） (2025-12-03T20:55:26Z) - Adversary-Aware Private Inference over Wireless Channels [51.93574339176914]
ワイヤレスエッジデバイスにおけるAIベースのセンシングは、人工知能(AI)アプリケーションを大幅に強化する可能性がある。
機密性の高い個人情報は敵によって再構築できるため、プライバシー侵害のリスクを軽減するために特徴の変換が必要である。
本稿では,デバイスがモデルサーバに送信する前に抽出した特徴の変換を適用する,プライバシ保護型AIベースセンシングのための新しいフレームワークを提案する。
論文 参考訳（メタデータ） (2025-10-23T13:02:14Z) - DRIFT: Dynamic Rule-Based Defense with Injection Isolation for Securing LLM Agents [52.92354372596197]
大規模言語モデル(LLM)は、強力な推論と計画能力のため、エージェントシステムの中心となってきています。
この相互作用は、外部ソースからの悪意のある入力がエージェントの振る舞いを誤解させる可能性がある、インジェクション攻撃のリスクも引き起こす。
本稿では,信頼に値するエージェントシステムのための動的ルールベースの分離フレームワークを提案する。
論文 参考訳（メタデータ） (2025-06-13T05:01:09Z) - PWC-MoE: Privacy-Aware Wireless Collaborative Mixture of Experts [59.5243730853157]
クラウドサーバにホストされる大規模言語モデル(LLM)は、ローカルデバイス上の計算とストレージの負担を軽減するが、プライバシの懸念を高める。
小規模言語モデル(SLM)は、ローカルで実行されるためプライバシーが向上するが、複雑なタスクではパフォーマンスが制限される。
帯域幅制約下での計算コスト,性能,プライバシ保護のバランスをとるために,プライバシを意識したPWC-MoE(PWC-MoE)フレームワークを提案する。
論文 参考訳（メタデータ） (2025-05-13T16:27:07Z) - Collaborative Inference over Wireless Channels with Feature Differential Privacy [57.68286389879283]
複数の無線エッジデバイス間の協調推論は、人工知能(AI)アプリケーションを大幅に強化する可能性がある。
抽出された特徴を抽出することは、プロセス中に機密性の高い個人情報が暴露されるため、重大なプライバシーリスクをもたらす。
本稿では,ネットワーク内の各エッジデバイスが抽出された機能のプライバシを保護し,それらを中央サーバに送信して推論を行う,新たなプライバシ保存協調推論機構を提案する。
論文 参考訳（メタデータ） (2024-10-25T18:11:02Z) - 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) - Capacity: Cryptographically-Enforced In-Process Capabilities for Modern ARM Architectures (Extended Version) [1.2687030176231846]
Capacityは、機能ベースのセキュリティ原則を取り入れた、ハードウェア支援のプロセス内アクセス制御設計である。
独自のPAキーで認証されたプロセス内ドメインにより、Capacityはファイル記述子とメモリポインタを暗号化された参照に変換する。
Capacity対応のNGINX Webサーバプロトタイプや他の、機密性の高いリソースをさまざまなドメインに分離する一般的なアプリケーションを評価します。
論文 参考訳（メタデータ） (2023-09-20T08:57:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。