Completed
Symbolic Checking
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Why do we do this
- 3 Addressbased separation protection
- 4 Why do we doublefetch
- 5 What could go wrong
- 6 Why is it difficult to detect
- 7 Dependency Lowcut
- 8 What can go wrong
- 9 Proof attacks
- 10 Overlap
- 11 Control Dependence
- 12 Data Dependence
- 13 Recap
- 14 Goal
- 15 Topdown approach
- 16 Some details
- 17 Symbolic Checking
- 18 Code Walkthrough
- 19 More Complex Example
- 20 Findings
- 21 Mitigation
- 22 Single fetch
- 23 Limitations
- 24 Conclusion
- 25 Chan
