SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
▶SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers — a 2023 IEEE S&P 2023 Sessions security conference talk on linux-unix (14:50 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube