論文の概要: Extending Layered Attestation into ARM Application Run-Times
- arxiv url: http://arxiv.org/abs/2610.17614v1
- Date: Tue, 13 Oct 2026 02:35:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-16 19:13:15.92543
- Title: Extending Layered Attestation into ARM Application Run-Times
- Title（参考訳）: ARMアプリケーション実行時間に階層的テストを拡張する
- Abstract要約: ARA は ARM 用の Application-Runtime Anchor で,ロード時の信頼関係を実行にまで拡張している。
ARAはARMプラットフォームであるRoot of Trust(RoT)から、測定されたロードチェーンを通じてブートストラップする。
プロトタイプおよび評価では、ARAはプロセス内コストに近い実行時のRoT支援操作を頻繁にサポートしている。
- 参考スコア（独自算出の注目度）: 4.707301165197362
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Modern mobile and edge platforms provide hardware-backed attestation of application and platform integrity at load-time. However, they offer little support once application execution begins. We present ARA, an Application-Runtime Anchor for ARM that extends this load-time chain of trust into execution. ARA bootstraps from the underlying ARM platform Root of Trust (RoT) through a measured loading chain and establishes an attested protected run-time within the application address space using recently introduced ARM Permission Overlay Extensions (POE). The resulting run-time domain can host programmable RoTs for Measurement and Storage (RTM/RTS), enabling application run-time integrity verification, attestation evidence generation, and protected use of secrets while retaining efficient access to application run-time state. As exemplary uses, we instantiate ARA for protected media decryption and application control flow measurement. Our prototype and evaluation show that ARA supports frequent run-time RoT-backed operations at near in-process cost, with roughly 10x and 50x lower overhead than out-of-process equivalents. This offers a practical bridge from layered attestation to application run-time trusted computing on ARM.
- Abstract（参考訳）: 最新のモバイルおよびエッジプラットフォームは、ロード時のアプリケーションとプラットフォームの整合性のハードウェアによる証明を提供する。
しかし、アプリケーション実行が開始されるとほとんどサポートされない。
我々は、このロードタイムの信頼関係を実行にまで拡張する、ARM用のアプリケーション実行アンカーであるARAを紹介します。
ARAは、基盤となるARMプラットフォームRoot of Trust(RoT)から計測されたロードチェーンを通じてブートストラップし、最近導入されたARM Permission Overlay Extensions(POE)を使用して、アプリケーションアドレス空間内で証明された保護された実行時間を確立する。
実行時ドメインは、RTM/RTS(Programmable RoTs for Measurement and Storage)をホストし、アプリケーションの実行時の整合性検証、検証証拠の生成、シークレットの使用の保護を可能にし、アプリケーションの実行時状態への効率的なアクセスを維持する。
例として、メディア復号化とアプリケーション制御フロー計測のためにARAをインスタンス化する。
プロトタイプと評価の結果, ARAはプロセス内コストのおよそ10倍, 50倍のオーバーヘッドで, 実行時のRoT支援操作を頻繁にサポートしていることがわかった。
これは、階層化された証明からARM上の実行時の信頼できるコンピューティングへの実践的なブリッジを提供する。
関連論文リスト
- AgenTEE: Confidential LLM Agent Execution on Edge Devices [4.9434226170553535]
AgenTEEは、エッジデバイスに機密エージェントパイプラインをデプロイするシステムである。
センシティブな資産とランタイム状態の強いシステムレベルの分離を強制する。
このようなマルチcVMシステムは実用的であり,実行時のオーバーヘッドが5.15%未満で,ほぼネイティブに近い性能を実現している。
論文 参考訳（メタデータ） (2026-04-20T13:13:31Z) - Boosting Device Utilization in Control Flow Auditing [47.36491265793223]
制御フロー(CFAud)とは、遠隔検証器(Vrf)が証明器(Prv)MCUに取られた制御フローパスに関する証拠を、Prvソフトウェアが侵害された場合でも受信する機構である。
現在のCFAudでは、Prvのroot-of-anchored root-of-RoTが、Vrfにフローエビデンスを確実に配信するために実行を保ちます。
CARAMELは、制御フローエビデンスをVrfに送信しながらPrvを再開できるハードウェアRoTの共同設計である。
論文 参考訳（メタデータ） (2026-03-02T18:26:17Z) - Towards a Multi-Layer Defence Framework for Securing Near-Real-Time Operations in Open RAN [4.240433132593161]
Open Radio Access Networks (Open RAN)における準リアルタイム(近RT)制御の安全性はますます重要になっている。
システムが運用されている間、新しいランタイム脅威は制御ループをターゲットとします。
本稿では,近RT RAN Intelligent Controller (RIC) 操作のセキュリティ向上を目的とした多層防御フレームワークを提案する。
論文 参考訳（メタデータ） (2025-12-01T12:13:32Z) - The OpenHands Software Agent SDK: A Composable and Extensible Foundation for Production Agents [46.254487394746725]
本稿では,ソフトウェア開発エージェントを実装するツールキットであるOpenHands Software Agent SDKを紹介する。
柔軟性を達成するために、デフォルトケースで数行のコードしか必要としないエージェントを実装するためのシンプルなインターフェースを設計する。
セキュリティと信頼性のために、シームレスなローカル-リモート実行ポータビリティ、REST/WebSocketサービスの統合を提供する。
論文 参考訳（メタデータ） (2025-11-05T18:16:44Z) - Provable Execution in Real-Time Embedded Systems [8.816934283264633]
実時間システム(PEARTS)のための実行可能アーキテクチャの開発
PEARTSは、コモディティ組み込みリアルタイムオペレーティングシステム(FreeRTOS)と一緒に直接デプロイできる最初のPoXシステムである。
論文 参考訳（メタデータ） (2025-05-20T02:31:13Z) - Adversarial Prompt Evaluation: Systematic Benchmarking of Guardrails Against Prompt Input Attacks on LLMs [44.023741610675266]
大規模言語モデル(LLM)は、ジェイルブレイクと呼ばれるプロンプトによって、安全でない振る舞いに操作できる。
すべての守備隊が、それらを整列するために使われる小さなジェイルブレイクのために、新たなアウト・オブ・ディストリビューション攻撃を処理できるわけではない。
評価のために利用可能な現在のデータセットに基づいて、単純なベースラインは、競争力のあるアウト・オブ・ディストリビューション性能を示すことができることを示す。
論文 参考訳（メタデータ） (2025-02-21T12:54:25Z) - Fight Hardware with Hardware: System-wide Detection and Mitigation of Side-Channel Attacks using Performance Counters [45.493130647468675]
キャッシュベースのサイドチャネル攻撃を悪用しようとする悪意のあるアプリケーションをシステム全体で検出するカーネルレベルのインフラを提案する。
このインフラストラクチャは、マシン上で動作するすべてのアプリケーションから実行時に情報を集めるために、ハードウェアパフォーマンスカウンタに依存している。
これらの測定から高レベルの検出指標が導出され、悪意のあるアプリケーションを迅速に検出する可能性の最大化が図られる。
論文 参考訳（メタデータ） (2024-02-18T15:45:38Z) - 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) - A Comprehensive Trusted Runtime for WebAssembly with Intel SGX [2.6732136954707792]
TEE内でWebAssemblyコンパイルされたアプリケーションを実行するための信頼できるランタイムであるTwineを紹介します。
標準のWebAssemblyシステムインターフェース(WASI)を拡張し、I/OにフォーカスしたコントロールされたOSサービスを提供する。
汎用ベンチマークと実世界のアプリケーションを用いてその性能を評価し,最先端のソリューションと比較した。
論文 参考訳（メタデータ） (2023-12-14T16:19:00Z) - 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) - MAPLE-Edge: A Runtime Latency Predictor for Edge Devices [80.01591186546793]
汎用ハードウェアの最先端遅延予測器であるMAPLEのエッジデバイス指向拡張であるMAPLE-Edgeを提案する。
MAPLEと比較して、MAPLE-Edgeはより小さなCPUパフォーマンスカウンタを使用して、ランタイムとターゲットデバイスプラットフォームを記述することができる。
また、共通ランタイムを共有するデバイスプール上でトレーニングを行うMAPLEとは異なり、MAPLE-Edgeは実行時に効果的に一般化できることを示す。
論文 参考訳（メタデータ） (2022-04-27T14:00:48Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。