Completed
Introduction
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Building Hardened Internet-of-Things Clients with Language-Theoretic Security
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Outline
- 3 Problem
- 4 Language
- 5 Protocols
- 6 MQTT
- 7 MQTT Protocol
- 8 MQTT State Machine
- 9 XMPP
- 10 XMPP Messages
- 11 Contributions
- 12 Passing in the IoT
- 13 Approach
- 14 Methodology
- 15 State Machine Gem
- 16 Writing Individual Passes
- 17 Limitations
- 18 Results
- 19 Performance
- 20 MQTT Performance
- 21 Simple Phaser
- 22 Parse Tree
- 23 Fuzzing Limitations
- 24 Lessons Learned
- 25 Next Steps
