Jinghao Jia, Raj Sahu, Adam Oswald, Dan Williams, Michael V. Le, Tianyin Xu. Kernel extension verification is untenable. In Malte Schwarzkopf, Andrew Baumann, Natacha Crooks, editors, Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023. pages 150-157, ACM, 2023. [doi]
Abstract is missing.