%0 Conference Paper %1 conf/hotos/0002ACHZL23 %A Brun, Matthias %A Achermann, Reto %A Chajed, Tej %A Howell, Jon %A Zellweger, Gerd %A Lattuada, Andrea %B HotOS %D 2023 %E Schwarzkopf, Malte %E Baumann, Andrew %E Crooks, Natacha %I ACM %K dblp %P 158-165 %T Beyond isolation: OS verification as a foundation for correct applications. %U http://dblp.uni-trier.de/db/conf/hotos/hotos2023.html#0002ACHZL23

@inproceedings{conf/hotos/0002ACHZL23, added-at = {2024-05-14T00:00:00.000+0200}, author = {Brun, Matthias and Achermann, Reto and Chajed, Tej and Howell, Jon and Zellweger, Gerd and Lattuada, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/25e45758a1ae52923b5372b3c34e53b2d/dblp}, booktitle = {HotOS}, crossref = {conf/hotos/2023}, editor = {Schwarzkopf, Malte and Baumann, Andrew and Crooks, Natacha}, ee = {https://doi.org/10.1145/3593856.3595899}, interhash = {34f91f387337f35f0eb1365d70e3e017}, intrahash = {5e45758a1ae52923b5372b3c34e53b2d}, keywords = {dblp}, pages = {158-165}, publisher = {ACM}, timestamp = {2024-05-20T07:25:43.000+0200}, title = {Beyond isolation: OS verification as a foundation for correct applications.}, url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2023.html#0002ACHZL23}, year = 2023 }