Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis
Analysts investigate attack surfaces and defenses concerning Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·22 min
Security researchers examine technical aspects of Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels.
detectionprecisescalable+3
IEEE Symposium on Security and Privacy·17 min
Engineers explore architecture and security mechanisms for Krace: Data Race Fuzzing for Kernel File Systems.
fuzzingkernelkrace+2
IEEE Symposium on Security and Privacy·20 min
Engineers explore architecture and security mechanisms for Razzer: Finding Kernel Race Bugs through Fuzzing.
fuzzingkernelrazzer+3