SyzGen: Automated Generation of Syscall Specification of Closed-Source macOS Drivers.

Weiteng Chen, Yu Wang, Zheng Zhang, Zhiyun Qian

Browse the full CCS paper archive.