~/talk

Separate but Together: Integrating Remote Attestation into TLS

Talkat USENIX ATC '25 · 2025-07-07..07-09· [security, web-platform]
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
linkedin:yaronf
links:none on file
slides:none on file

Protocol integrates TLS 1.3 extensions with remote attestation by hashing handshake messages into a new linking hash that the TEE signs alongside the TLS certificate signature, tying attestation to ephemeral session secrets rather than the long‑term key. Implementation uses standard TLS wire format, adds no extra round trips, preserves throughput equal to vanilla TLS, and increases latency only from larger messages. Works with Intel TDX, AMD SEV, TPMs and prevents relay attacks while allowing independent failures.

AI-written summary · about

  1. 0:00Trusted execution environments
  2. 1:43Remote attestation in practice
  3. 3:27Attestation in TLS handshake
  4. 7:02Relay attacks risks
  5. 9:10Flaws linking attestation to keys
  6. 11:18Attestation and session secrets
  7. 14:29TLS plus RA summary
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.