Comparing Isolation Mechanisms with OSmosis

Authors

Sidhartha Agrawal, Shaurya Patel, Arya Stevinson, Linh Pham, Ilias Karimalis, Hugo Lefeuvre, Aastha Mehta, Reto Achermann and Margo I. Seltzer

Venue

Proceedings of the 13th Workshop on Programming Languages and Operating Systems (PLOS '25)

Links

[ .doi ] [ .pdf ] [ .bib ]

Abstract

Bibtex

@inproceedings{Agrawal:2025:Osmosis,
 address = {New York, NY, USA},
 author = {Agrawal, Sidhartha and Patel, Shaurya and Stevinson, Arya and Pham, Linh and Karimalis, Ilias and Lefeuvre, Hugo and Mehta, Aastha and Achermann, Reto and Seltzer, Margo I.},
 booktitle = {Proceedings of the 13th Workshop on Programming Languages and Operating Systems},
 doi = {10.1145/3764860.3768325},
 id = {Agrawal:2025:Osmosis},
 isbn = {9798400722257},
 keywords = {Containers, Formal model, Isolation mechanisms, Trusted Computing Base, Virtual Machines},
 location = {Seoul, Republic of Korea},
 numpages = {9},
 pages = {1–9},
 publisher = {Association for Computing Machinery},
 series = {PLOS '25},
 title = {Comparing Isolation Mechanisms with OSmosis},
 url = {https://doi.org/10.1145/3764860.3768325},
 year = {2025}
}

Contact

The University of British Columbia
Department of Computer Science
2366 Main Mall
ICICS Building, Office 341
Vancouver, BC V6T 1Z4
Canada

achreto [at] cs.ubc.ca
+1 604 827 2446