KUBO: Precise and Scalable Detection of User-triggerable Undefined Behavior Bugs in OS Kernel.

Changming Liu, Yaohui Chen, Long Lu

Browse the full NDSS paper archive.