SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution
Published in ACM SIGSAC Conference on Computer and Communications Security, CCS 25, 2025
Authors: Yu Hao, Juefei Pu, Xingyu Li, Zhiyun Qian, Ardalan Amiri Sani
Venue: ACM SIGSAC Conference on Computer and Communications Security, CCS 25
Year: 2025
| 🐙 Tool |
Awards & Recognitions:
🏆 Distinguished Paper Award
Recommended citation: Yu Hao, Juefei Pu, Xingyu Li, Zhiyun Qian, Ardalan Amiri Sani. "SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution." ACM SIGSAC Conference on Computer and Communications Security, CCS 25 (2025).
Download Paper