Linked Presentation: LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic ExecutionSyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel
