Linked Presentation: LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic ExecutionSyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernelOff-Path Network Traffic Manipulation via Revitalized ICMP Redirect Attacks
