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]
No references recorded for this publication.
No citations of this publication recorded.