End-to-End Automated Verification for OS Kernels.

Jizheng Ding, Xiaoran Zhu, Jian Guo

Browse the full APSEC paper archive.