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

1. S&P 23

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

   IEEE Symposium on Security and Privacy, S&P 23.

   pdf ToolResult paper Linux Security Summit 23Qualcomm Product Security Summit 23Symposium on the Science of Security 24

Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani. "SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers." IEEE Symposium on Security and Privacy, S&P 23. (2023).