KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.

Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang

Browse the full CCS paper archive.