論文の概要: Know Thy Neighbor: Cross-TEE Mutual Attestation

• arxiv url: http://arxiv.org/abs/2607.00695v1
• Date: Wed, 01 Jul 2026 09:45:14 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-02 19:56:07.834587
• Title: Know Thy Neighbor: Cross-TEE Mutual Attestation
• Title（参考訳）: Know Thy Neighbor: Cross-TEE Mutual Attestation
• Abstract要約: 本稿では、同一のTEEタイプまたは異なるTEEタイプ上で実行されているTAインスタンスの相互証明のための異種相互プロトコルを提案する。
• 参考スコア（独自算出の注目度）: 0.45880283710344055
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Cloud services are composed of multiple heterogeneous distributed components and instances that communicate with one another. This occurs both in applications and services running in traditional execution environments and in trusted applications (TAs) running in trusted execution environments (TEEs). TA instances use attestation before exchanging information to ensure all parties meet the expected security conditions. The straightforward solution to mutually attesting two TA instances that are willing to communicate is employing remote attestation mechanisms in both directions. This is typically the case when the two TA instances are running on TEEs of the same type. In order to support cross-TEE attestation, such an approach, that is, using remote attestation in both directions, would require each TEE type (e.g., SGX, TrustZone) to support the attestation software stack of all other TEE types with which it needs to interact. A dedicated cross-TEE mutual attestation solution has multiple benefits in terms of efficiency and security. This paper presents the Heterogeneous Mutual Attestation (Hema) protocol, a formally-verified protocol for the mutual attestation of TA instances running on the same TEE type or on different TEE types.
• Abstract（参考訳）: クラウドサービスは、複数の異種分散コンポーネントと、互いに通信するインスタンスで構成される。 これは、従来の実行環境で動作するアプリケーションとサービスと、信頼できる実行環境(TEE)で動作する信頼できるアプリケーション(TA)の両方で発生する。 TAインスタンスは、情報を交換する前に認証を使用して、すべてのパーティが期待されるセキュリティ条件を満たすことを保証する。 コミュニケーションを希望する2つのTAインスタンスを相互に検証する簡単な解決策は、両方向のリモート認証メカニズムを採用することだ。 これは通常、2つのTAインスタンスが同じタイプのTEEで実行されている場合です。 クロスTEEアテストをサポートするために、このようなアプローチは、両方の方向でリモートアテストを使用することで、対話が必要な他のすべてのTEEタイプのアテストソフトウェアスタックをサポートするために、それぞれのTEEタイプ(例えば、SGX、TrustZone)を必要とします。 専用の相互認証ソリューションは、効率性とセキュリティの面で複数のメリットがある。 本稿では、同一のTEEタイプまたは異なるTEEタイプ上で実行されているTAインスタンスの相互証明のための正式な検証プロトコルである、異種相互証明プロトコル(Hema)を提案する。

関連論文リスト

• TeeDAO: A Decentralized Autonomous Organization for Heterogeneous TEEs [20.990545504683563]
  Trusted Execution Environments (TEEs) は、センシティブなデータの保護と、現代のコンピューティングシステムにおけるコードの完全性を保証するための重要な技術として登場した。 本稿では,複数の異種TEEインスタンスを自動的に整理する新しい3層フレームワークであるTeeDAOを紹介する。 61ノードの大規模クラスタにおいて,TeeDAOは最先端システムと比較して最大1.8倍高いキーバリューストアスループットを実現していることを示す。
  論文  参考訳（メタデータ） (2026-06-03T14:09:05Z)
• Protocol Testing with I/O Grammars [45.68497486907946]
  本稿では,単一フレームワークにおける入力生成と出力チェックを組み合わせた新しいプロトコルテスト手法を提案する。 我々は、I/O文法が、テスト中のプログラムの出力検証を可能にするとともに、高度なプロトコルの特徴を正しく、完全に指定できることを実証する。
  論文  参考訳（メタデータ） (2025-09-24T16:41:04Z)
• IT$^3$: Idempotent Test-Time Training [95.78053599609044]
  ディープラーニングモデルは、トレーニングデータとテストデータの間の分散シフトのために、現実世界の環境にデプロイする際に苦労することが多い。 Idempotent Test-Time Training (IT$3$) は、現在のテストインスタンスのみを使用して、分散シフトへのオンザフライ適応を可能にする新しいアプローチである。 この結果から,イデオポテンスはドメインやアーキテクチャをまたいで一般化するテスト時間適応の普遍的原理を提供すると考えられる。
  論文  参考訳（メタデータ） (2024-10-05T15:39:51Z)
• UniTTA: Unified Benchmark and Versatile Framework Towards Realistic Test-Time Adaptation [66.05528698010697]
  Test-Time Adaptationは、テスト中にトレーニング済みのモデルを対象のドメインに適応させることを目的としている。 研究者は様々な挑戦シナリオを特定し、これらの課題に対処するための様々な方法を開発した。 本稿では,包括的かつ広く適用可能な統一テスト時間適応ベンチマークを提案する。
  論文  参考訳（メタデータ） (2024-07-29T15:04:53Z)
• Active Test-Time Adaptation: Theoretical Analyses and An Algorithm [51.84691955495693]
  テスト時間適応(TTA)は、教師なし設定でストリーミングテストデータの分散シフトに対処する。 完全TTA設定内に能動学習を統合する能動テスト時間適応(ATTA)の新たな問題設定を提案する。
  論文  参考訳（メタデータ） (2024-04-07T22:31:34Z)
• 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 Holistic Approach for Trustworthy Distributed Systems with WebAssembly and TEEs [2.0198678236144474]
  本稿では、WebAssemblyを使ってこれらの問題に対処する新しいアプローチを紹介する。 本稿では,包括的アプローチとして,ポータブルで完全に証明されたパブリッシュ/サブスクライブシステムの設計を提案する。 実験の結果,信頼性の高いブローカを使用すると,メッセージスループットが1.55倍に低下することが明らかとなった。
  論文  参考訳（メタデータ） (2023-12-01T16:37:48Z)
• SinClave: Hardware-assisted Singletons for TEEs [0.6937243101289335]
  我々は、異なるTEEフレームワークに対する再利用攻撃を実行する方法を示す。 私たちは、シングルトンエンクレーブという概念を通じて、新鮮さを強制することで、この問題にどのように対処するかを示します。 私たちのアプローチでは、1.03%から13.2%までの無視可能なオーバーヘッドしか発生しません。
  論文  参考訳（メタデータ） (2023-11-05T16:06:34Z)
• Bidirectional Generative Framework for Cross-domain Aspect-based Sentiment Analysis [68.742820522137]
  クロスドメインアスペクトベースの感情分析(ABSA)は、ソースドメインから知識を伝達することで、ターゲットドメイン上で様々なきめ細かい感情分析タスクを実行することを目的としている。 本稿では,多様なドメイン間ABSAタスクに対処するための統合双方向生成フレームワークを提案する。 我々のフレームワークは、テキストからラベルまでの方向とラベルからテキストへの方向の両方で生成モデルを訓練する。
  論文  参考訳（メタデータ） (2023-05-16T15:02:23Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。