Completed
Existing data integrity checks
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
OAT - Attesting Operation Integrity of Embedded Devices
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 The unverifiable (blind) trust
- 3 Existing solutions -- attestation
- 4 Example: vulnerable robotic arm
- 5 Our Solution
- 6 OEI (Operation Exec. Integrity)
- 7 OEI: two sub-properties
- 8 Attestation Challenges
- 9 OAT (OEI Attestation Framework)
- 10 Threat model
- 11 Operations
- 12 CFI Attestation
- 13 Intuitive measurement schemes
- 14 A hybrid scheme
- 15 Measurement Collection & Verification
- 16 Critical variable identification
- 17 Existing data integrity checks
- 18 Def-Use Value Integrity (DVI)
- 19 Implementation notes
- 20 Tests on real embedded firmware
- 21 Micro Performance Tests
- 22 Comparisons
- 23 Security Tests & Analysis
- 24 Conclusion
