SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution
Date:
Automatically infers syscall specifications for Linux kernel drivers using under-constrained symbolic execution, winning Distinguished Paper at CCS 2025.
Venue: ACM Conference on Computer and Communications Security (CCS 2025)
Location: Kobe, Japan
Award: Distinguished Paper Award