論文の概要: TriHaRd: Higher Resilience for TEE Trusted Time

• arxiv url: http://arxiv.org/abs/2512.10732v1
• Date: Thu, 11 Dec 2025 15:17:37 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-12 16:15:42.437624
• Title: TriHaRd: Higher Resilience for TEE Trusted Time
• Title（参考訳）: TriHaRd: TEE信頼時間に対する高いレジリエンス
• Authors: Matthieu Bettinger, Sonia Ben Mokhtar, Pascal Felber, Etienne Rivière, Valerio Schiavoni, Anthony Simonet-Boulogne,
• Abstract要約: Intel SGXのようなTrusted Execution Environments (TEE)では、タイムソースはTrusted Computing Baseの外部にある。 以前の作業(Triad)では、TEEが信頼できるタイムソースを維持するためのプロトコルを提案しています。 クロック速度とオフセット操作に対する高いレジリエンスを実現するTriHaRdを提案する。
• 参考スコア（独自算出の注目度）: 3.3562867524281024
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Accurately measuring time passing is critical for many applications. However, in Trusted Execution Environments (TEEs) such as Intel SGX, the time source is outside the Trusted Computing Base: a malicious host can manipulate the TEE's notion of time, jumping in time or affecting perceived time speed. Previous work (Triad) proposes protocols for TEEs to maintain a trustworthy time source by building a cluster of TEEs that collaborate with each other and with a remote Time Authority to maintain a continuous notion of passing time. However, such approaches still allow an attacker to control the operating system and arbitrarily manipulate their own TEE's perceived clock speed. An attacker can even propagate faster passage of time to honest machines participating in Triad's trusted time protocol, causing them to skip to timestamps arbitrarily far in the future. We propose TriHaRd, a TEE trusted time protocol achieving high resilience against clock speed and offset manipulations, notably through Byzantine-resilient clock updates and consistency checks. We empirically show that TriHaRd mitigates known attacks against Triad.
• Abstract（参考訳）: 多くのアプリケーションでは、正確な時間経過の計測が重要である。 しかし、Intel SGXのようなTrusted Execution Environment(TEE)では、タイムソースはTrusted Computing Baseの外部にある。 従来の作業(Triad)では、相互にコラボレーションするTEEのクラスタを構築し、リモートタイムオーソリティと組み合わせて、TEEが信頼できるタイムソースを維持するためのプロトコルを提案しています。 しかし、そのようなアプローチは攻撃者がオペレーティングシステムを制御し、TEEが認識するクロック速度を任意に操作することを可能にする。 攻撃者は、Triadの信頼できるタイムプロトコルに参加する正直なマシンに、より速い時間経過を伝達し、将来はタイムスタンプに任意にスキップする。 我々は、特にビザンチン耐性のクロック更新と整合性チェックによって、クロック速度とオフセット操作に対する高いレジリエンスを実現するTriHaRdを提案する。 我々は、TriHaRdがTriadに対する既知の攻撃を緩和していることを実証的に示す。

関連論文リスト

• Certified Private Quantum Time Ticks Away Faster than Any Classical Clock [0.0]
  本稿では,一重項状態における測定結果の離散的な登録によって時間の流れを演算的に定義する,絡み合ったクロックの概念を紹介する。 本稿では,デバイス非依存のランダム性認証を時間領域に適用する,認証プライベートタイムのプロトコルを提案する。
  論文  参考訳（メタデータ） (2025-12-09T20:33:04Z)
• An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol [1.1060425537315088]
  Intel SGXのようなTrusted Execution Environments (TEE)では、TEEをホストする悪意のあるシステムがTEEの時間の概念を操作できる。 Triadのような以前の作業では、TEEが信頼できるタイムソースを維持するためのプロトコルが提案されていた。 このプロトコルに脆弱性を実証的に示す。
  論文  参考訳（メタデータ） (2025-07-28T14:02:59Z)
• R-TPT: Improving Adversarial Robustness of Vision-Language Models through Test-Time Prompt Tuning [69.72249695674665]
  視覚言語モデル(VLM)のためのロバストテスト時プロンプトチューニング(R-TPT)を提案する。 R-TPTは、推論段階における敵攻撃の影響を緩和する。 プラグアンドプレイの信頼性に基づく重み付きアンサンブル戦略を導入し,防御強化を図る。
  論文  参考訳（メタデータ） (2025-04-15T13:49:31Z)
• Learning Temporal Distances: Contrastive Successor Features Can Provide a Metric Structure for Decision-Making [66.27188304203217]
  時間的距離は、計画、制御、強化学習のための多くのアルゴリズムの中心にある。 このような時間的距離を設定内で定義しようとする以前の試みは、重要な制限によって妨げられている。 比較学習によって学習された後継特徴が,三角形の不等式を満たす時間的距離を形成することを示す。
  論文  参考訳（メタデータ） (2024-06-24T19:36:45Z)
• PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis [1.765099515298011]
  PTP(Precision Time Protocol)は、信頼性の高い環境で高精度な時間同期を実現する。 時間遅延攻撃はプロトコルの最大の脅威となり、攻撃者は検出されていないターゲットクロックをバラバラにすることができる。 本研究は,循環経路非対称性測定に基づくPTPに対する遅延攻撃の検出と対策手法を提案する。
  論文  参考訳（メタデータ） (2024-01-19T12:35:00Z)
• Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond [2.803675461772196]
  本稿ではJITスタイルのWasmtimeをベースとした新しいコンパイラ検証スイートを提案する。 また、ct-wasmをターゲットに、既存の定時対応DSLである FaCT のポートも提示する。
  論文  参考訳（メタデータ） (2023-11-24T01:38:19Z)
• Triad: Trusted Timestamps in Untrusted Environments [0.6937243101289335]
  タイムリーディングの信頼できるタイムスタンプディスパッチであるTriadを紹介します。 このソリューションは、相互にサポートされたエンクレーブベースのクロックサーバによって強制される信頼できるタイムスタンプを提供する。 強制エグジットやCPUベースのカウンタなどのエンクレーブ特性を利用して、サーバのタイムスタンプカウンタに対する攻撃を軽減します。
  論文  参考訳（メタデータ） (2023-11-10T16:22:08Z)
• Universality-of-clock-rates test using atom interferometry with $T^{3}$ scaling [63.08516384181491]
  原子時計は非局在化された量子時計を生成する。 非局在量子クロックを生成する原子干渉計に対するクロックレート(LPIの1面)の普遍性の試験。 結果は、古典的および局所的な哲学から切り離された時間の概念を拡張した。
  論文  参考訳（メタデータ） (2022-04-05T12:26:56Z)
• Multi-Temporal Convolutions for Human Action Recognition in Videos [83.43682368129072]
  複数の解像度で抽出できる新しい時間・時間的畳み込みブロックを提案する。 提案するブロックは軽量で,任意の3D-CNNアーキテクチャに統合可能である。
  論文  参考訳（メタデータ） (2020-11-08T10:40:26Z)

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

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