SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution

1. CCS 25

   Yu Hao, Juefei Pu, Xingyu Li, Zhiyun Qian, Ardalan Amiri Sani

   Distinguished Paper Award

   ACM SIGSAC Conference on Computer and Communications Security, CCS 25.

   pdf Tool

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).