%0 Conference Paper %1 conf/hotos/JiaSOWLX23 %A Jia, Jinghao %A Sahu, Raj %A Oswald, Adam %A Williams, Dan %A Le, Michael V. %A Xu, Tianyin %B HotOS %D 2023 %E Schwarzkopf, Malte %E Baumann, Andrew %E Crooks, Natacha %I ACM %K dblp %P 150-157 %T Kernel extension verification is untenable. %U http://dblp.uni-trier.de/db/conf/hotos/hotos2023.html#JiaSOWLX23

@inproceedings{conf/hotos/JiaSOWLX23, added-at = {2023-07-07T00:00:00.000+0200}, author = {Jia, Jinghao and Sahu, Raj and Oswald, Adam and Williams, Dan and Le, Michael V. and Xu, Tianyin}, biburl = {https://www.bibsonomy.org/bibtex/285bbd611fb22e68431b0410d94fff985/dblp}, booktitle = {HotOS}, crossref = {conf/hotos/2023}, editor = {Schwarzkopf, Malte and Baumann, Andrew and Crooks, Natacha}, ee = {https://doi.org/10.1145/3593856.3595892}, interhash = {9ba6649b2f368955d1eaea18571afb59}, intrahash = {85bbd611fb22e68431b0410d94fff985}, keywords = {dblp}, pages = {150-157}, publisher = {ACM}, timestamp = {2024-04-10T01:57:03.000+0200}, title = {Kernel extension verification is untenable.}, url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2023.html#JiaSOWLX23}, year = 2023 }