SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers.

Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani

Browse the full SP paper archive.