~/talk

Encrypted Access Logging for Online Accounts: Device Attributions without...

Talkat USENIX Security '25 · 2025-08-13..08-15· [security]
links:none on file
links:none on file
links:none on file
slides:none on file

Proposes client-side encrypted access logging that embeds E2E-encrypted device identifiers using OS-managed keys and FIDO2-style attestations so account activity interfaces show unspoofable device IDs without revealing them to the service. Provides formal definitions for privacy, session unlinkability, and an impossibility result that full log recovery and full privacy cannot both hold, characterizes decryptability via a reachability graph, implements a proof-of-concept Python system that adds one login round trip and milliseconds of overhead, and requires OS-vendor deployment and trust.

AI-written summary · about

  1. 0:00Encrypted access logging intro
  2. 1:35IPV survivor risks
  3. 3:43Account security interface flaws
  4. 4:45CESL protocol with OS support
  5. 7:32Threat model and goals
  6. 9:41Encrypted device identifiers
  7. 10:01Security definitions and limits
  8. 11:47Deployment architecture
  9. 13:54WebAuthn and FIDO2 inspiration
  10. 15:17Proof of concept and performance
  11. 15:58Future work and OS collaboration
~/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.