TriHaRd: Higher Resilience for TEE Trusted Time
- URL: http://arxiv.org/abs/2512.10732v1
- Date: Thu, 11 Dec 2025 15:17:37 GMT
- Title: TriHaRd: Higher Resilience for TEE Trusted Time
- Abstract summary: In Trusted Execution Environments (TEEs) such as Intel SGX, the time source is outside the Trusted Computing Base.<n>Previous work (Triad) proposes protocols for TEEs to maintain a trustworthy time source.<n>We propose TriHaRd, a TEE trusted time protocol achieving high resilience against clock speed and offset manipulations.
- Score: 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.
Related papers
- Learning What to Remember: Test-Time Training via Context Distillation [72.10421333095852]
Test-time training (TTT) is an appealing approach that performs online parameter updates for long-context modeling.<n>We propose textbfTest-textbfTime textbfContext textbfDistillation (TTCD), a TTT framework that introduces a self-supervised objective for allocating limited memory capacity for future use.
arXiv Detail & Related papers (2026-08-03T04:06:06Z) - TimeGuard: Channel-wise Pool Training for Backdoor Defense in Time Series Forecasting [69.01242632976161]
Time Series Forecasting (TSF) is highly vulnerable to backdoor attacks.<n>Data entanglement induces channel-level signal dilution, rendering sample-filtering and trigger-synthesis defenses ineffective at localizing backdoors.<n>We propose a training-time backdoor defense for TSF, termed TimeGuard.
arXiv Detail & Related papers (2026-05-21T11:58:46Z) - TimelineReasoner: Advancing Timeline Summarization with Large Reasoning Models [54.737142557469916]
We propose TimelineReasoner, a framework that shifts Timeline Summarization from static generation to an active, reasoning-driven process.<n>We show that TimelineReasoner significantly outperforms existing LLM-based TLS methods in terms of timeline accuracy, coverage, and coherence.<n>This work not only pushes the boundaries of TLS but also highlights the broader potential of LRM-based reasoning frameworks for timeline summarization.
arXiv Detail & Related papers (2026-04-03T12:30:15Z) - Timely Machine: Awareness of Time Makes Test-Time Scaling Agentic [72.97800570813175]
We propose Timely Machine, redefining test-time as wall-clock time.<n>We introduce Timely-Eval, a benchmark spanning high-frequency tool calls, low-frequency tool calls, and time-constrained reasoning.<n>We find smaller models excel with fast feedback through more interactions, while larger models dominate high-latency settings via superior interaction quality.
arXiv Detail & Related papers (2026-01-23T06:28:52Z) - HALO: Semantic-Aware Distributed LLM Inference in Lossy Edge Network [50.33808558714122]
Large language models' (LLMs) inference at the edge can facilitate prompt service responsiveness while protecting user privacy.<n>We propose HALO, a novel framework that can boost the distributed LLM inference in lossy edge network.<n> Experimental results from a Raspberry Pi cluster demonstrate that HALO achieves a 3.41x end-to-end speedup for LLaMA-series LLMs under unreliable network conditions.
arXiv Detail & Related papers (2026-01-16T07:37:23Z) - Certified Private Quantum Time Ticks Away Faster than Any Classical Clock [0.0]
We introduce the concept of an entangled clock, where the flow of time is operationally defined by the discrete registration of measurement outcomes on a singlet state.<n>We propose a protocol for Certified Private Time, adapting device-independent randomness certification to the temporal domain.
arXiv Detail & Related papers (2025-12-09T20:33:04Z) - An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol [1.1060425537315088]
In Trusted Execution Environments (TEEs) like Intel SGX, a malicious system hosting the TEE can manipulate that TEE's notion of time.<n>Previous work like Triad propose protocols for TEEs to maintain a trustworthy time source.<n>We empirically showcase vulnerabilities to this protocol.
arXiv Detail & Related papers (2025-07-28T14:02:59Z) - R-TPT: Improving Adversarial Robustness of Vision-Language Models through Test-Time Prompt Tuning [69.72249695674665]
We propose a robust test-time prompt tuning (R-TPT) for vision-language models (VLMs)<n>R-TPT mitigates the impact of adversarial attacks during the inference stage.<n>We introduce a plug-and-play reliability-based weighted ensembling strategy to strengthen the defense.
arXiv Detail & Related papers (2025-04-15T13:49:31Z) - Learning Temporal Distances: Contrastive Successor Features Can Provide a Metric Structure for Decision-Making [66.27188304203217]
Temporal distances lie at the heart of many algorithms for planning, control, and reinforcement learning.<n>Prior attempts to define such temporal distances in settings have been stymied by an important limitation.<n>We show how successor features learned by contrastive learning form a temporal distance that does satisfy the triangle inequality.
arXiv Detail & Related papers (2024-06-24T19:36:45Z) - PTPsec: Securing the Precision Time Protocol Against Time Delay Attacks Using Cyclic Path Asymmetry Analysis [1.765099515298011]
Precision Time Protocol (PTP) can accomplish high-precision time synchronization in trusted environments.
Time delay attacks pose the highest threat to the protocol, enabling attackers to diverge targeted clocks undetected.
This work proposes an approach to detect and counteract delay attacks against PTP based on cyclic path asymmetry measurements.
arXiv Detail & Related papers (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]
We present a new compiler-verifier suite based on the JIT-style runtime Wasmtime for generating and verifying constant-time code.
We also present a port of FaCT, a preexisting constant-time-aware DSL, to target ct-wasm.
arXiv Detail & Related papers (2023-11-24T01:38:19Z) - Triad: Trusted Timestamps in Untrusted Environments [0.6937243101289335]
We introduce Triad, a trusted timestamp dispatcher of time readings.
The solution provides trusted timestamps enforced by mutually supportive enclave-based clock servers.
We leverage enclave properties such as forced exits and CPU-based counters to mitigate attacks on the server's timestamp counters.
arXiv Detail & Related papers (2023-11-10T16:22:08Z) - Universality-of-clock-rates test using atom interferometry with $T^{3}$
scaling [63.08516384181491]
Atomic clocks generate delocalized quantum clocks.
Tests of universality of clock rates (one facet of LPI) to atom interferometry generating delocalized quantum clocks proposed.
Results extend our notion of time, detached from classical and localized philosophies.
arXiv Detail & Related papers (2022-04-05T12:26:56Z) - Multi-Temporal Convolutions for Human Action Recognition in Videos [83.43682368129072]
We present a novel temporal-temporal convolution block that is capable of extracting at multiple resolutions.
The proposed blocks are lightweight and can be integrated into any 3D-CNN architecture.
arXiv Detail & Related papers (2020-11-08T10:40:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.