Trustless IoT: A Logic-Driven Architecture for IoT Hubs
summary
OrbanHub replaces hub-issued commands with proof-carrying statements that actuators verify using cryptographically signed sensor inputs, ensuring no action executes unless authorized by a user policy. A hashchain-backed append-only log plus periodic device heartbeats prevent a compromised hub from replaying or hiding commands and provide a liveness bound that authorized actions eventually run. Design targets lightweight implementation on existing IoT chips and shows feasibility for billions of devices.
AI-written summary · about
chapters (9)
- 0:00Intro
- 0:50Emerging Architecture
- 2:38What about security?
- 3:43Why is security poor?
- 6:14Guaranteeing Safety
- 7:10Sample Proof
- 8:44Control Flow
- 9:14Guaranteeing Liveness
- 10:46New Way Forward
related talks
36mSecuring the Internet of Things (IoT) in a Decentralized World
37mLeveraging Blockchain for Identity and Authentication in IoT is good for Security
40mHas My IoT Device Been Hacked? Establishing Trust w/ Remote Attestation
39mApplied IoT security for healthcare and industrial
33mThe Internet of (Better) Things
37mZero Trust at the Edge: Bridging Industrial Systems With Verifiable Credentials and OpenZiti
12mLive Demo: A New Hardware-Based Approach to Secure the Internet of Things
45mBuilding a Secure IoT Device