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

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

Browse the full CCS paper archive.