Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs.

Kangjie Lu, Aditya Pakki, Qiushi Wu

Browse the full ESORICS paper archive.