SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
Date:
Pioneers principled static analysis to automatically generate syscall descriptions for Linux kernel drivers, enabling targeted driver fuzzing.
Venue: Linux Security Summit North America (LSS-NA 2023)
Location: Vancouver, Canada