SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
Published in IEEE Symposium on Security and Privacy, S\&P 23, 2023
Authors: Yu Hao, Guoren Li, Xiaochen Zou, Weiteng Chen, Shitong Zhu, Zhiyun Qian, Ardalan Amiri Sani
Venue: IEEE Symposium on Security and Privacy, S\&P 23
Year: 2023
| 🐙 Tool | 🐙 Result | 🔗 Publisher |
Recommended citation: 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).
Download Paper