Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels.
Meng XuChenxiong QianKangjie LuMichael BackesTaesoo KimPublished in: IEEE Symposium on Security and Privacy (2018)
Keyphrases
- detection accuracy
- detection algorithm
- automatic detection
- false positives
- database
- source code
- operating system
- false alarms
- object detection
- open source
- detection method
- face detection
- change detection
- detection scheme
- highly scalable
- detection rate
- kernel function
- object recognition
- multiscale
- high level
- decision trees