Has My IoT Device Been Hacked? Establishing Trust w/ Remote Attestation
summary
Clear comparison of how Remote Attestation is applied to real IoT problems: a taxonomy of hybrid attestation with ARM TrustZone for minimal hardware anchors, spanning-tree aggregation for scalable swarm checks (CEDA-style), and C-FLAT (2016) control‑flow attestation to catch runtime code‑reuse attacks. Covers implemented ideas (distributed attestation to reason about device-to-device trust), concrete open problems (privacy via zero‑knowledge proofs, energy‑harvesting devices that wake milliseconds, interruptible attestation for real‑time systems) and a proposed use of Lamport/vector clocks for asynchronous verification.
AI-written summary · about
chapters (7)
- 0:00Intro
- 1:37Agenda
- 2:27IoT security
- 12:08Remote attestation protocols
- 32:27Open challenges
- 39:00Conclusions
- 39:54Outro
related talks
29mRemote Attestation of IoT devices using a discrete TPM 2.0
25mEstablishing Trusted and Secure Foundation for Device Management Using Open Source Software
25mDemystifying remote attestation
19mBoF: Simple Remote Attestation with Secure & Attested Communication Channels
39mApplied IoT security for healthcare and industrial
29mA Simple Protocol for Remote Attestation of System Integrity
57mSecuring the last mile of IoT solutions
12mTrustless IoT: A Logic-Driven Architecture for IoT Hubs
