Dependency
Published:
A systematic study of dependency challenges in kernel fuzzing, including tools for measurement and mitigation.
Portfolio
SyzDescribe
Published:
Statically generates complete syscall descriptions for Linux kernel drivers to enable driver-specific fuzzing.
SyzSpec
Published:
Automatically infers syscall specifications for Linux kernel drivers using under-constrained symbolic execution.