11:35USENIX Security '21 - Detecting Kernel Refcount Bugs with Two-Dimensional Consistency CheckingUSENIX293 viewsView & Download
12:14USENIX Security '21 - Understanding and Detecting Disordered Error Handling with Precise FunctionUSENIX126 viewsView & Download
11:50USENIX Security '24 - Detecting Kernel Memory Bugs through Inconsistent Memory Management...USENIX142 viewsView & Download
13:10USENIX ATC '21 - TCP-Fuzz: Detecting Memory and Semantic Bugs in TCP Stacks with FuzzingUSENIX868 viewsView & Download
12:05USENIX Security '21 - Automatic Firmware Emulation through Invalidity-guided Knowledge InferenceUSENIX403 viewsView & Download
11:30USENIX Security '21 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine TypesUSENIX1.7K viewsView & Download
11:17USENIX Security '21 - UNIFUZZ: A Holistic and Pragmatic Metrics-Driven Platform for EvaluatingUSENIX280 viewsView & Download
10:10USENIX Security '21 - ARCUS: Symbolic Root Cause Analysis of Exploits in Production SystemsUSENIX385 viewsView & Download
10:37USENIX Security '24 - Inference of Error Specifications and Bug Detection Using Structural...USENIX118 viewsView & Download
23:33Check It Again: Detecting Lacking-Recheck Bugs in OS KernelsAssociation for Computing Machinery (ACM)241 viewsView & Download
11:33USENIX Security '22 - LinKRID: Vetting Imbalance Reference Counting in Linux kernel with Symbolic...USENIX295 viewsView & Download
13:10USENIX Security '21 - Breaking Through Binaries: Compiler-quality Instrumentation for BetterUSENIX641 viewsView & Download
20:31USENIX ATC '24 - Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug...USENIX140 viewsView & Download
30:15USENIX Security '15 - Under-Constrained Symbolic Execution: Correctness Checking for Real CodeUSENIX611 viewsView & Download
31:09USENIX Security '17 - DR. CHECKER: A Soundy Analysis for Linux Kernel DriversUSENIX1.2K viewsView & Download
31:10USENIX Security '17 - How Double-Fetch Situations turn into Double-Fetch Vulnerabilities...USENIX1.1K viewsView & Download
11:28USENIX Security '21 - Weak Links in Authentication Chains: A Large-scale Analysis of Email SenderUSENIX1.0K viewsView & Download
10:55USENIX Security '23 - Uncontained: Uncovering Container Confusion in the Linux KernelUSENIX135 viewsView & Download
